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 753957 - Fuzzy search
Fuzzy search
Status: RESOLVED DUPLICATE of bug 753102
Product: gnome-shell
Classification: Core
Component: search
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2015-08-22 06:04 UTC by p.oliveira.castro
Modified: 2015-08-22 06:57 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description p.oliveira.castro 2015-08-22 06:04:38 UTC 
Searching in GNOME Shell is extremely sensitive to typos. Would be very handy if we had a fuzzy search, where I can type "Firfox" and get Mozilla Firefox as a result.

I believe Ubuntu's Dash has a similar feature.
Comment 1 Florian Müllner 2015-08-22 06:57:21 UTC 
Thanks for taking the time to report this.
This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 753102 ***