Uses of Class
edu.rice.cs.drjava.ui.config.IntegerOptionComponent

Packages that use IntegerOptionComponent

edu.rice.cs.drjava.ui.config

Contains the GUI code for displaying and modifying configuration options.

Uses of IntegerOptionComponent in edu.rice.cs.drjava.ui.config

Fields in edu.rice.cs.drjava.ui.config declared as IntegerOptionComponent

private static IntegerOptionComponent

IntegerOptionComponentTest._option

Methods in edu.rice.cs.drjava.ui.config that return IntegerOptionComponent

protected IntegerOptionComponent

ConfigFrame.newIntegerOptionComponent(IntegerOption o)