[ jEdit-devel ] [ jedit-Plugin Bugs-919970 ] Console no longer uses jEdit text area colors

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

Plugin Bugs item #919970, was opened at 2004-03-19 23:32
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=919970&group_id=588

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Justin Dieters (enderak)
Assigned to: Nobody/Anonymous (nobody)
Summary: Console no longer uses jEdit text area colors

Initial Comment:
In pre10, the Console plugin no longer abides by the
experimental "Use jEdit text area colors" option.  Even
though this is experimental, it was working in pre9,
and none of the other plugins, file system browser, or
activity log have been affected.

This problem occurs with both Java 1.5.0, and 1.4.2,
and reverting back to pre9 fixes the problem.  jEdit
was the only thing upgraded, the Console plugin was not
changed.

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

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