|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VectorOption | |
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 VectorOption in edu.rice.cs.drjava.config |
Fields in edu.rice.cs.drjava.config declared as VectorOption | |
private VectorOption |
VectorOptionTest._ivo
|
private VectorOption |
VectorOptionTest._bvo
|
static VectorOption |
OptionConstants.EXTRA_CLASSPATH
|
static VectorOption |
OptionConstants.DEBUG_SOURCEPATH
A classpath-structured vector of all paths to look for source files on while stepping in the debugger. |
static VectorOption |
OptionConstants.RECENT_FILES
A vector containing the most recently used files |
Methods in edu.rice.cs.drjava.config that return VectorOption | |
VectorOption |
ClasspathOption.evaluate(String optionName)
|
Uses of VectorOption in edu.rice.cs.drjava.ui.config |
Constructors in edu.rice.cs.drjava.ui.config with parameters of type VectorOption | |
VectorOptionComponent(VectorOption opt,
String text,
Frame parent)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |