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 742308 - type to search in preferences
type to search in preferences
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: preferences
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2015-01-04 10:23 UTC by Lasse Schuirmann
Modified: 2015-01-04 11:10 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
prefs: focus search entry on key press (3.50 KB, patch)
2015-01-04 11:09 UTC, Christian Hergert 		committed Details | Review

Description Lasse Schuirmann 2015-01-04 10:23:45 UTC 
It would be nice to have the usual type-to-search functionality in the preferences window. That saves an extra click.
Comment 1 Christian Hergert 2015-01-04 11:09:58 UTC 
Created attachment 293703 [details] [review]
prefs: focus search entry on key press

This avoids focusing in a few situations such as various navigation keys
and if the current widget is an editable (like GtkEntry). We will probably
have to get a bit more clever as we add preferences in the future.
Comment 2 Christian Hergert 2015-01-04 11:10:17 UTC 
Attachment 293703 [details] pushed as f2f2901 - prefs: focus search entry on key press