Extensions App - Add Search Feature
Feature summary
Search for installed extensions
It would be great if it would also search for new extensions from web, but there's already an open issue for this.
How would you like it to work
When start typing inside the app, it would search for installed extensions using the extension's name, description and other info.
The results would appear with the same abilities as usual: to show description, to show configuration and enable/disable extension
There are some implementations in design of the search function (shown bellow). I prefer the Files's layout for this app, since it takes less space and only shows what it's searched.
Relevant links, screenshots, screencasts etc.
- Files (Nautilus)
Search string is presented in the header bar and only shows the results.
- Gnome Tweaks
Search string is presented in a lateral panel and only shows the results.
Note that there are results that do not contain the searched string in either the name or description. So it must be looking for the string elsewhere, or for related words.
- Text Editor (Gedit)
Search string is presented in a overlay object and all results are highlighted.