GNOME Bugzilla – Bug 707923
Right margin hardly visible with some color schemes
Last modified: 2013-10-05 14:34:55 UTC
Ubuntu Gnome 13.10 as of 2013-08-29. The 80 char end of line marker is virtually impossible to see. This marker should be far more visible. This is no longer a constant virtical line which was good, but a single line marker. The old way was better. I class this as a regression.
Please attach a screenshot. Not sure why this was filed in several places instead of Ubuntu Launchpad.
Created attachment 254722 [details] Hard to see grey line end marker. Indicated by black arrows.
(In reply to comment #1) > Please attach a screenshot. Not sure why this was filed in several places > instead of Ubuntu Launchpad. I was asked to file upstream after reporting the bug on Launchapad and discussion on #ubuntu-gnome IRC channel.
Thanks for explaining! Confirming and rephrasing summary to make the conditions to reproduce clearer.
Some color schemes are affected, but not all. As a temporary workaround you can use the Tango color scheme. The problem still occurs with GtkSourceView 3.9 (from git).
Another issue regarding the right margin, the color of the line is not always the same. Try switching the color schemes: Classic -> Kate vs Cobalt -> Kate. The Kate margin color is different. It is because the GtkStyleContext is not invalidated when removing and adding a different GtkCssProvider. I've filed bug #708583.
https://git.gnome.org/browse/gtksourceview/log/?h=wip/fix-right-margin-colors Testing welcome, I'm not a designer and perhaps my screen doesn't render the true colors.
The commit is pushed to the master branch. If you like the new styles, the commit can be backported to the gnome-3-10 branch too.