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