After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 656975 - Search isn't very useful
Search isn't very useful
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2011-08-20 19:03 UTC by Jeremy Bicha
Modified: 2011-08-20 23:42 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Improve search (1.29 KB, patch)
2011-08-20 23:41 UTC, John Stowers
committed Details | Review

Description Jeremy Bicha 2011-08-20 19:03:27 UTC
A search for "shell" returns "Arrangement of buttons on the titlebar" and "Shell theme".

"Shell extensions" definitely should show up for this search and it's not intuitive why button arrangement would show but not any of the other settings in the shell panel.
Comment 1 John Stowers 2011-08-20 20:04:47 UTC
Search looks in the gconf/gsettings key name/summary and description fields. It is case insensitive.

So within reason, if the descriptions or search results are bad, the gconf/gsettings schema needs to be fixed.

I guess I could also look in the '.' or '/' split key name, and maybe the category too.
Comment 2 John Stowers 2011-08-20 23:41:37 UTC
Created attachment 194315 [details] [review]
Improve search
Comment 3 John Stowers 2011-08-20 23:42:03 UTC
Attachment 194315 [details] pushed as 66e9c1c - Improve search