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

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

Damn, you're right. I use the GTK+ Look&Feel on a Fedora 8 box with Sun 
Java 1.6.0_02. Switching to the Metal L&F fixes it. Thanks for the tip.

But then . . . I'm a sucker for consistency. Is this a problem caused by 
jEdit or the JRE? I'm suspecting the latter. Does anyone have a clue if 
this might be fixed anytime soon?

/W


Alan Ezust wrote:
> I have that problem with the Gtk look and feel, but not the Swing look
> and feel.
> What look and feel are you using? What platform? What version of java?
>
>
> On Nov 25, 2007 7:28 PM, Wildemar Wildenburger <wil...@fr...> wrote:
>   
>> 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
>>
>> -------------------------------------------------------------------------
>> This SF.net email is sponsored by: Microsoft
>> Defy all challenges. Microsoft(R) Visual Studio 2005.
>> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
>> --
>> -----------------------------------------------
>> jEdit Users' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>
>>