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?
font adjustment page
I was able to reproduce this, which will allow me to work on a fix.
In the meantime, you can use this work-around:
1. Select whatever font you want.
2. Select the desired value in the size column.
3. Press Tab once.
4. Press Space once.
5. The dialog will close with the selected values.
This has to do with the DPI setting in Windows 7 under Control Panel->Appearance and Personalization -> Display "Make text and other items larger or smaller".
I haven't found out what we need to do to make DrJava's layout work, or even better, to respect those settings, but here is a related thread:
http://stackoverflow.com/questions/2045811/java-automatically-adjusting-to-the-windows-7-font-size-adjustment
This feature request about updating font sizes is related:
https://sourceforge.net/tracker/index.php?func=detail&aid=3288940&group_id=44253&atid=438938
I have identified the problem. This dialog doesn't use a layout manager, instead it resizes the components manually. We should use something like GridBagLayout.
Fixed as of revision 5433.
Migrated to GridBagLayout, tested on Windows XP and 7.