Uses of Class
edu.rice.cs.drjava.config.IntegerOption

Packages that use IntegerOption
edu.rice.cs.drjava.config This package contains the code that allows for dynamically modifying the configuration options in DrJava. 
edu.rice.cs.drjava.ui.config Contains the GUI code for displaying and modifying configuration options. 
 

Uses of IntegerOption in edu.rice.cs.drjava.config
 

Subclasses of IntegerOption in edu.rice.cs.drjava.config
 class NonNegativeIntegerOption
          Class defining all configuration options with values of type NonNegativeInteger.
 

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

Constructors in edu.rice.cs.drjava.ui.config with parameters of type IntegerOption
IntegerOptionComponent(IntegerOption opt, String text, Frame parent)