Added minimum and maximum rows to display for vector option
components. Changed formula to calculate preferred height.
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
Authored by: mgricken 2009-04-14
Parent: [r4892]
Child: [r4894]