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 456282 - Add globbing/wildcards to search fields
Add globbing/wildcards to search fields
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
unspecified
Other All
: Normal enhancement
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2007-07-12 16:09 UTC by Michael Ekstrand
Modified: 2011-12-17 17:27 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
devhelp: Add glob-based wildcard searching (7.95 KB, patch)
2011-12-05 01:27 UTC, Jason Siefken 		none Details | Review

Description Michael Ekstrand 2007-07-12 16:09:29 UTC 
There have been a number of times when I've wished for shell-style globbing or wildcard support in the Devhelp search field.  Something that would let me type 'gtk_w*_set_' or some such.  It would be a welcome enhancement and devhelp effiiciency booster.
Comment 1 Richard Hult 2007-07-25 12:09:03 UTC 
That would be nice indeed. In the meantime you can always type:

gtk_w _set_

Since the search takes all the separate words and looks for things that contain all of them.
Comment 2 Jason Siefken 2011-12-05 01:27:36 UTC 
Created attachment 202786 [details] [review]
devhelp: Add glob-based wildcard searching
Comment 3 Frederic Peters 2011-12-17 17:27:59 UTC 
Works fine; thanks, pushed.