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