Menu

Commit [r5433]  Maximize  Restore  History

Fixed bug 3298398: can't change fonts

Migrated to GridBagLayout, tested on Windows XP and 7.

M drjava/src/edu/rice/cs/util/swing/FontChooser.java

mgricken 2011-06-13

changed /trunk/drjava/src/edu/rice/cs/util/swing/FontChooser.java
/trunk/drjava/src/edu/rice/cs/util/swing/FontChooser.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB