[ jEdit-devel ] [ jedit-Plugin Bugs-3485639 ] Console plugin wrong color

[SourceForge.net <no...@so...>]

Plugin Bugs item #3485639, was opened at 2012-02-08 01:16
Message generated for change (Comment added) made by kpouer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3485639&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: Closed
Resolution: None
Priority: 2
Private: No
Submitted By: Matthieu Casanova (kpouer)
Assigned to: Damien (kog13)
Summary: Console plugin wrong color

Initial Comment:
When opening the console, the "console.beanshell.info" message is displayed, but it doesn't use a property for it's color so the color is black.
If the console background is black the text is unreadable.
Some other output are also without any color.

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

>Comment By: Matthieu Casanova (kpouer)
Date: 2012-05-11 01:18

Message:
It seems ok now, a lot of things have changed so I don't know what fixed
that but I close this ticket.

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

Comment By: Damien (kog13)
Date: 2012-05-10 12:35

Message:
Console uses the "plain text" color for displaying the beanshell info
message, as well as other text that doesn't specify either info or warning.
You should be able to fix this issue by changing your plain text color in
Console's plugin options.

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

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