Sometimes, searching for an item on options is easier than the normal menu.
Gnome Settings has a search option setting.
Firefox has a search option on preferences.
VLC player has a search option on Advanced preferences. (Tools - Preferences - All)
Google Chrome has a search option on settings too.
Created attachment 146296 [details]
a what-if example
Absolutely, that would be nice. And we have this request in bug 49895 for a long time.
*** This bug has been marked as a duplicate of bug 49895 ***