[BZ#784718] Add a search field to applications menu
Submitted by Yannick Ihmels
Link to original bug (#784718)
Description
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.