After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 784718 - Add a search field to applications menu
Add a search field to applications menu
Status: RESOLVED OBSOLETE
Product: gnome-shell
Classification: Core
Component: extensions-module
unspecified
Other All
: Normal enhancement
: ---
Assigned To: gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2017-07-09 12:41 UTC by Yannick Ihmels
Modified: 2017-11-25 02:26 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Yannick Ihmels 2017-07-09 12:41:39 UTC
The GNOME shell extension applications menu should provide a search field to search for applications. So you don’t have to open the activities overview first.
Comment 1 Florian Müllner 2017-11-25 02:26:45 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/25.