Re: [gedit-list] Changing the colour of the right margin

[jeremy Ruten <jeremy ruten gmail com>]

Wow you are right, I set it to solid black and it's still quite light.
But at least I can see it now. Thanks!

jeremy


On Sat, Jul 24, 2010 at 8:07 AM, Derek Veit <dv8box-nabble yahoo com> wrote:
> You can change the right margin color with a line like this in the style
> file:
> <style name="right-margin"                foreground="red"
> background="blue"/>
>
> Style files are in these directories:
>  /usr/share/gtksourceview-2.0/styles
>  ~/.gnome2/gedit/styles
>
> The foreground setting is for the line and the background setting is for the
> area to the right of it.  Both colors are rendered with a lot of
> transparency.  The line is 40/255 opaque (about 84% transparent) and the
> right area is 15/255 opaque (about 94% transparent).  So you probably will
> want to set both colors to strong colors, like black or blue.  Make sure
> whatever color name you use is defined with a value.
>
> Derek
>
> jeremy Ruten said the following on 07/21/2010 06:25 PM:
>>
>> How is the colour of the right margin determined? My monitor's a bit
>> bright and I can't see the margin it's so bright. I'm lost without an
>> 80-char margin, I feel like I'm walking off the boat. It seems to
>> depend on the gtksourceview style file. Anyone know how to do this?
>>
>> Thanks,
>> jeremy
>> _______________________________________________
>> gedit-list mailing list
>> gedit-list gnome org
>> http://mail.gnome.org/mailman/listinfo/gedit-list
>>
>>
>
> _______________________________________________
> gedit-list mailing list
> gedit-list gnome org
> http://mail.gnome.org/mailman/listinfo/gedit-list
>