Re: [ jEdit-users ] Backgroundcolor of Dock-Panels

[Hassan S. <ha...@we...>]

Wildemar Wildenburger wrote:

>> if you go to "Global Options" -> "Appearance", you'll see the option 
>> under "Experimental Options".
/
> Thank you, but that does nothing for me (that is, changing these options 
> does not change any behavior). Specifically, the panels using a tree 
> view, such as the sidekick plugin, are still painted in white (while 
> text components are black as advertised by the option you described).
> 
> Hmm, any ideas?

You have to restart jEdit for that to take effect.

Just confirmed it's working for me on this box (4.3pre9/Java 1.5 on
MacOS 10.4.11), though I know I've had it work on Linux and Windows
systems as well.

HTH,
-- 
Hassan Schroeder ----------------------------- ha...@we...
Webtuitive Design ===  (+1) 408-938-0567   === http://webtuitive.com

                           dream.  code.