[ jEdit-devel ] [ jedit-Bugs-830637 ] " Apply text area colors to all controls"

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[ jEdit-devel ] [ jedit-Bugs-830637 ] " Apply text area colors to all controls"

SourceForge.net
Bugs item #830637, was opened at 2003-10-26 20:51
Message generated for change (Comment added) made by vampire0
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=830637&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Slava Pestov (spestov)
Assigned to: Nobody/Anonymous (nobody)
Summary: "Apply text area colors to all controls"

Initial Comment:
If this is switched on, the help viewer looks ugly, and
the wrong colors are used for selected borders in
lists, trees and tables.

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

>Comment By: Björn Kautler (vampire0)
Date: 2006-11-13 15:11

Message:
Logged In: YES
user_id=918212

Is this still an issue?

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

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

-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel