|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |