From: <no...@so...> - 2001-07-18 09:33:20
|
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: Open Resolution: None 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. ---------------------------------------------------------------------- You can respond by visiting: http://sourceforge.net/tracker/?func=detail&atid=100588&aid=442341&group_id=588 |