Re: [ jEdit-users ] Gutter bg color

[Slava P. <sp...@gj...>]

ar...@co... wrote:
> 
> I would like to change my gutter bg color to some other color than white
> (lightGray for instance).  I determined I /should/ be able to do this by
> setting view.gutter.bgColor in my $HOME/jedit/properties file.
> 
> However, when I do this, instead of the value being picked up and used,
> it is stomped over with "\#ffffff" again.
> 
> Any way I can change the bg color?
> (I know, this is probably fast coming in the next release, but I'm a nut
> about how my UI is set up).


Why don't you just go to utilities->global options->colors & styles?

Slava