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.JAVAC_LOCATION
           
static FileOption OptionConstants.JSR14_LOCATION
           
static FileOption OptionConstants.JSR14_COLLECTIONSPATH
           
static FileOption OptionConstants.WORKING_DIRECTORY
          Directory to start looking for files in when DrJava starts up.
 

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

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