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.