Re: Good read from a new GNOME user

[jtojnar gmail com]

It does not work very well, though:

https://gitlab.gnome.org/GNOME/gnome-control-center/issues/1

On Wed, 8 May, 2019 at 10:14 AM, Bastien Nocera <hadess hadess net> 
wrote:
> 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