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 743381 - Restore current-line highlighting in the gutter
Restore current-line highlighting in the gutter
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: editor
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2015-01-22 22:59 UTC by Paolo Borelli
Modified: 2015-01-22 23:04 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
patch (1.74 KB, patch)
2015-01-22 22:59 UTC, Paolo Borelli 		committed Details | Review

Description Paolo Borelli 2015-01-22 22:59:16 UTC 
In https://git.gnome.org/browse/gtksourceview/commit/?id=47191e4e804fbbfc2e9b3ec2b9377b13b5578fc3 I changed a bit the logic to draw the gutter for the current line

The attached patch makes builder look the same as it did before that change
Comment 1 Paolo Borelli 2015-01-22 22:59:50 UTC 
Created attachment 295240 [details] [review]
patch
Comment 2 Igor Gnatenko 2015-01-22 23:03:44 UTC 
Thanks!