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 777570 - Display selections in the overview map of the editor more accentuated
Display selections in the overview map of the editor more accentuated
Status: RESOLVED OBSOLETE
Product: gnome-builder
Classification: Other
Component: editor
3.22.x
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-01-21 11:06 UTC by Peter Sonntag
Modified: 2018-01-11 10:16 UTC
See Also:
GNOME target: ---
GNOME version: 3.21/3.22



Description Peter Sonntag 2017-01-21 11:06:27 UTC
When one searches a string or one selects a string, all identical strings are marked in the editor, which is great.
Those markings are also displayed in the overview map on the right site of the editor. But those are hardly noticeable.

It would be great if those were more accentuated so it would be easier to see.
Comment 1 GNOME Infrastructure Team 2018-01-11 10:16:48 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-builder/issues/171.