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

Packages that use ForcedChoiceOption

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 ForcedChoiceOption in edu.rice.cs.drjava.config

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

static ForcedChoiceOption	OptionConstants.JAVADOC_ACCESS_LEVEL The lowest access level of classes and members to include in the javadoc.
static ForcedChoiceOption	OptionConstants.JAVADOC_API_REF_VERSION The version of Java to use for the "Open Java API Javadoc" feature.
static ForcedChoiceOption	OptionConstants.JAVADOC_LINK_VERSION The version of Java to use for links to Javadoc for system classes.
static ForcedChoiceOption	OptionConstants.LOOK_AND_FEEL The current look and feel.
static ForcedChoiceOption	OptionConstants.MASTER_JVM_XMX The command-line arguments for the maximum heap size (-Xmx___) to be passed to the Master JVM.
static ForcedChoiceOption	OptionConstants.NEW_VERSION_NOTIFICATION The lowest access level of classes and members to include in the javadoc.
static ForcedChoiceOption	OptionConstants.PLASTIC_THEMES
static ForcedChoiceOption	OptionConstants.SLAVE_JVM_XMX The command-line arguments for the maximum heap size (-Xmx___) to be passed to the Slave JVM.

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

Constructors in edu.rice.cs.drjava.ui.config with parameters of type ForcedChoiceOption

ForcedChoiceOptionComponent(ForcedChoiceOption option, String labelText, SwingFrame parent)
Main constructor builds a panel containing a set of radio buttons for the legal values of the ForcedChoiceOption.

ForcedChoiceOptionComponent(ForcedChoiceOption option, String labelText, SwingFrame parent, String description)
Constructor that allows for a tooltip description.