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
|
