[ jEdit-devel ] [ jedit-Bugs-442341 ] console font settings ignored on restart

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

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

Category: None
Group: minor bug
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: console font settings ignored on restart

Initial Comment:
Changes in the console font only have an effect until
jEdit is shut down. When it is restarted the console
font is reset to the default although in the settings
it has remembered which font it is supposed to be
displaying. This problem is only present with 3.2pre5.
With 3.1final and the same version of console (and
everything else) the console font settings work fine.

NT4, Sun JDK1.3, jEdit 3.2pre5, console 2.6.

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

>Comment By: Slava Pestov (spestov)
Date: 2001-07-18 04:09

Message:
Logged In: YES 
user_id=2280

fixed in console 3.0.

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

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