On Tue, 2019-05-07 at 18:32 +0100, Calum Benson via desktop-devel-list wrote:
On 2 May 2019, at 11:19, jtojnar--- via desktop-devel-list < desktop-devel-list gnome org> wrote: Something like full-text search similar to one Firefox has in its preferences might be nicer and allow us to merge the two configuration applications. https://www.ghacks.net/2017/06/16/first-look-at-firefoxs-preferences-search/The macOS System Preferences still does this best, imho — you can search for any word in any preferences panel, plus a bunch of useful synonyms too. So if you search for "wallpaper", it'll take you to the "Desktop & Screensaver" preferences, even though the term "wallpaper" isn't actually used anywhere.
We've had this functionality since before GNOME 3.0.
Attachment:
wallpaper-search.png
Description: PNG image
