Menu
▾
▴
[DrJava] [ drjava-Bugs-973718 ] font preference mysteriously crippled
|
From: SourceForge.net <no...@so...> - 2004-06-16 05:56:42
|
Bugs item #973718, was opened at 2004-06-16 13:56 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=973718&group_id=44253 Category: Config Framework Group: Ugly Status: Open Resolution: None Priority: 5 Submitted By: Nor Jaidi Tuah (norjaidi) Assigned to: Nobody/Anonymous (nobody) Summary: font preference mysteriously crippled Initial Comment: DrJava: 20040331-0037 Compiler: javac 1.5.0 Beta 2 release System: Windows XP Symptoms: * Floppy A: drive accessed everytime [Edit]+[Preferences] menu is clicked. * The preferred fonts doesn't work when DrJava is restarted. * The font names get longer and longer. * Other items in the Preferences (e.g., color, look&feel) are OK. * Already tried deleting .drjava and start again. Symptoms persist. Content of .drjava file: #DrJava configuration file #Wed Jun 16 11:54:24 SGT 2004 javac.location = D:\Program Files\Java\jdk1.5.0\lib\tools.jar compiler.error.color = #ff9900 font.main = Monospaced-PLAIN-PLAIN-PLAIN-PLAIN-PLAIN-12 font.line.numbers = Monospaced-PLAIN-PLAIN-PLAIN-PLAIN-PLAIN-12 font.doclist = Monospaced-PLAIN-PLAIN-PLAIN-PLAIN-PLAIN-10 font.toolbar = dialog-PLAIN-PLAIN-PLAIN-PLAIN-PLAIN-10 * If I choose Courier, I would get Courier-PLAIN-PLAIN...-12. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=973718&group_id=44253 |
