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

Packages that use FileOption

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

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

static FileOption	OptionConstants.BROWSER_FILE A file path to a user's preferred browser.
static FileOption	OptionConstants.JAVAC_LOCATION
static FileOption	OptionConstants.JAVADOC_DESTINATION The default destination directory for Javadoc output.
static FileOption	OptionConstants.LAST_DIRECTORY The directory in use by the file choosers upon the previous quit.
static FileOption	OptionConstants.LAST_INTERACTIONS_DIRECTORY The directory in use by the Interactions pane upon the previous quit.

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

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

DirectoryOptionComponent(FileOption opt, String text, SwingFrame parent, DirectoryChooser dc)

DirectoryOptionComponent(FileOption opt, String text, SwingFrame parent, String desc, DirectoryChooser dc)
Constructor that allows for a tooltip description.

FileOptionComponent(FileOption opt, String text, SwingFrame parent, JFileChooser jfc)

FileOptionComponent(FileOption opt, String text, SwingFrame parent, String description, JFileChooser jfc)
Constructor that allows for a tooltip description.