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.

Fields in edu.rice.cs.drjava.config declared as IntegerOption

static IntegerOption	OptionConstants.LANGUAGE_LEVEL The language level to use when starting DrJava.
static IntegerOption	OptionConstants.REMOTE_CONTROL_PORT The port where DrJava will listen for remote control requests.
static IntegerOption	OptionConstants.WINDOW_STATE The window state (maxamized or normal).
static IntegerOption	OptionConstants.WINDOW_X X position of MainFrame at startUp.
static IntegerOption	OptionConstants.WINDOW_Y Y position of MainFrame at startUp.

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, SwingFrame parent)

IntegerOptionComponent(IntegerOption opt, String text, SwingFrame parent, String description)
Constructor that allows for a tooltip description.