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

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)