GNOME Bugzilla – Bug 761182
Add a search bar
Last modified: 2018-05-22 12:14:49 UTC
With the PeasGtkPluginManagerView, it is not convenient to search through the list of plugins. For example if there is an "Embedded Terminal" plugin, a user might have some difficulties to find it if she scrolls at the T letter or search "term" with the built-in GtkTreeView search with Ctrl+F. So a search bar would be nice. It would search in the names and descriptions of the plugins, and the GtkTreeView would show only plugins that match the search.
-- 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/libpeas/issues/18.