[ jEdit-devel ] [ jedit-Bugs-445791 ] "Global jedit colors" affetcs prefs

Bugs item #445791, was opened at 2001-07-29 17:15
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=445791&group_id=588

Category: editor core
Group: normal bug
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Marcin Orlowski (carl-os)
Assigned to: Nobody/Anonymous (nobody)
>Summary: "Global jedit colors" affetcs prefs

Initial Comment:
When "Use jedit colors in all text components" is ON,
it affects prefs' listtree (with prefs pages), and
makes it drawn with incorrect colors. In my case it's
black text on black background. I attach the screenshot
with my currently set colors (I thinkt it's a bug,
since I don't have any black/black pen/back combination
defined).

----------------------------------------------------------------------

>Comment By: Slava Pestov (spestov)
Date: 2001-07-31 01:37

Message:
Logged In: YES 
user_id=2280

fixed in 3.2pre7

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=445791&group_id=588