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 782257 - Search "gtk_source_region region" shows too many results
Search "gtk_source_region region" shows too many results
Status: RESOLVED NOTABUG
Product: devhelp
Classification: Applications
Component: General
3.24.x
Other Linux
: Normal normal
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2017-05-06 10:24 UTC by Sébastien Wilmet
Modified: 2018-01-21 10:04 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Screenshot showing the bug (49.02 KB, image/png)
2017-05-06 10:24 UTC, Sébastien Wilmet
Details

Description Sébastien Wilmet 2017-05-06 10:24:21 UTC
Created attachment 351254 [details]
Screenshot showing the bug

With the GtkSourceView 3 docs installed, searching "gtk_source_region region" in the side panel shows too many results.

For example it should not show gtk_source_region_get_bounds.

See the attached screenshot.
Comment 1 Sébastien Wilmet 2017-05-06 10:26:55 UTC
In my notes I wrote that this is maybe a regression in Devhelp 3.18 -> 3.20.
Comment 2 Sébastien Wilmet 2018-01-18 12:30:34 UTC
Searching "gtk_source_region*region" gives correct results (one keyword with the glob instead of having two keywords).
Comment 3 Sébastien Wilmet 2018-01-18 15:50:49 UTC
Fixed: commit 30075bd6e78189c1863c2cc71c7c541753c9b486
Comment 4 Sébastien Wilmet 2018-01-20 13:08:49 UTC
(In reply to Sébastien Wilmet from comment #3)
> Fixed: commit 30075bd6e78189c1863c2cc71c7c541753c9b486

After more thinking, I've changed my mind, this introduced a regression in functionality.

Fixed with commit 303c00a6786a1db554a217458d3dd91e1d26314c.

The root of the problem for this bug is that there is no user documentation (i.e. in Mallard) for the search functionality.

The fact that "gtk_source_region region" shows too many results is not a bug, because the second keyword is contained within the first keyword. The '*' glob should be used in that case.
Comment 5 Sébastien Wilmet 2018-01-21 10:04:47 UTC
(In reply to Sébastien Wilmet from comment #4)
> The root of the problem for this bug is that there is no user documentation
> (i.e. in Mallard) for the search functionality.

Done! commit 2236b9744c065b9f269627519d4911d73308fed3