[DrJava] [ drjava-Bugs-3298398 ] can't change fonts

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

Bugs item #3298398, was opened at 2011-05-06 14:35
Message generated for change (Tracker Item Submitted) made by catcameo
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3298398&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Performance
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Elizabeth Cheney (catcameo)
Assigned to: Nobody/Anonymous (nobody)
Summary: can't change fonts

Initial Comment:
No matter what size I make the screen to adjust font size, I can't get to the radio button to click OK and change it.  I can see the button as I resize the window, but as soon as I let go of the window edge, the interior screens resize, and I can't see anything below the "quick brown fox" dialog.  I saw that there were some problems in 2004, but they say that they were fixed. I can barely see the size 10 fonts.  I tried 3 different versions of Dr. Java, r 5425.jar 5425.exe and r5387 stable.exe  I run windows 7 professional and jdk 6.0_25

I tried it on the win xp computer with no jdk and jre 6_21 and it works fine...Any ideas?

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3298398&group_id=44253