GNOME Bugzilla – Bug 784718
Add a search field to applications menu
Last modified: 2017-11-25 02:26:45 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.
-- 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.