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

[Wildemar W. <wil...@fr...>]

Eric Berry wrote:
> I remember an option somewhere under the Appearance section of the 
> Global options that told jEdit to paint all components. In 4.3pre11, 
> if you go to "Global Options" -> "Appearance", you'll see the option 
> under "Experimental Options".
>
> Hope that helps.
>
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?

/W