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. -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
