GNOME Bugzilla – Bug 782257
Search "gtk_source_region region" shows too many results
Last modified: 2018-01-21 10:04:47 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.
In my notes I wrote that this is maybe a regression in Devhelp 3.18 -> 3.20.
Searching "gtk_source_region*region" gives correct results (one keyword with the glob instead of having two keywords).
Fixed: commit 30075bd6e78189c1863c2cc71c7c541753c9b486
(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.
(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