GNOME Bugzilla – Bug 309861
option for changing current line highlight color
Last modified: 2007-08-17 12:45:46 UTC
The current line hightlight is very useful feature. However, the color it chooses to highlight the line with is typically darker, matching the color of the buttons and panels. Since I use a color scheme that has grey backgrounds for text areas, I'd like the highlight to be a brighter color, like white or yellow, for example. Please provide the capability for a user-configurable highlight color, thank you.
I agree with you that we need a way to change the current line highlight color. BTW, I think the color should be somewhat automatically computed given the color of background and text color.
Sounds good to me. Perhaps an algorithm to maximize contrast at that line.
maximixing the contrast would not work for black on white which is the most common case, would it? This looks like one of the many things that needs symbolic name colors in gtk (see bug #114355 ) to be solved properly.
Yes, you are correct, it will have to be slightly more complex than the simple example I gave. I would be nice if the default color was chosen automatically, but could be overidden if need be, like the other text area features.
We will not be able to fix this bug for 2.12 since it requires changes to GtkSourceView we cannot introduce at this stage of the development cycle. In particular it depends on bug #310847. Changing Target Milestone.
On a side note: what about making the current line highlight color, gutter color, line number font color etc. style properties so a theme creator can change them via a .gtkrc file?
Jeroen: I completely agree... waiting for patches :) Please, open a bug report against GtkSourceView to track this RFE.
*** Bug 359533 has been marked as a duplicate of this bug. ***
current line color can now be specified in the style scheme.