[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-devel
Subject:    [ jEdit-devel ] [ jedit-Bugs-982899 ] Single Selection Text Area Color not working
From:       "SourceForge.net" <noreply () sourceforge ! net>
Date:       2004-07-03 19:24:10
Message-ID: E1Bgq7O-0001cR-00 () sc8-sf-web2 ! sourceforge ! net
[Download RAW message or body]

Bugs item #982899, was opened at 2004-06-30 13:58
Message generated for change (Comment added) made by spestov
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=982899&group_id=588

Category: text area and syntax packages
Group: minor bug
>Status: Closed
>Resolution: Invalid
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Single Selection Text Area Color not working

Initial Comment:
jEdit 4.2pre14 on OS X 10.3.4

When I change the color of the "Single Selection" under the "Text 
Area" preference, it does not take effect.  The color on the 
preference page changes, but there is actually no change to the 
color when selecting items.

Additionally, when I close and reopen preferences, the Single 
Selection color reverts to the original color.  FYI -- original color is 
RGB 0,0,128

Thanks!

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

>Comment By: Slava Pestov (spestov)
Date: 2004-07-03 15:24

Message:
Logged In: YES 
user_id=2280

Disable the MacOS plugin's option to make the selectin follow 
the system color. 

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

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


-------------------------------------------------------
This SF.Net email sponsored by Black Hat Briefings & Training.
Attend Black Hat Briefings & Training, Las Vegas July 24-29 - 
digital self defense, top technical experts, no vendor pitches, 
unmatched networking opportunities. Visit www.blackhat.com
-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
[prev in list] [next in list] [prev in thread] [next in thread]