Matthias Clasen writes: > On Mon, 2015-05-11 at 23:57 +0200, Pierre-Yves Luyten wrote: >> Matthias Clasen writes: >> >> Quite easy, but user has to know there is a tweak tool. Unless he >> goes >> reading about GNOME blogs, news, and so, this will remain an unknown >> fact. >> >> Searching for "setting" will not reveal it (when not installed ; it >> will >> once installed). >> > > Have you tried this ? I have. It works just fine, Tweak tool shows up > among the search results when searching for 'settings', regardless > whether it is installed or not. Sorry it appears to be a locale issue. The fact it appears once installed made me skip this assumption - I was wrong. -- Pierre-Yves Luyten -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
