> 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. —Calum. _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
