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 The ui package contains classes for the default user interface for 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
static VectorOption<File> OptionConstants.DEBUG_SOURCEPATH
          A classpath-structured vector of all paths to look for source files on while stepping in the debugger.
static VectorOption<String> OptionConstants.EXTERNAL_SAVED_CMDLINES
          The command lines of saved external processes.
static VectorOption<String> OptionConstants.EXTERNAL_SAVED_ENCLOSING_DJAPP_FILES
          The script file (or "" if none) of saved external processes.
static VectorOption<String> OptionConstants.EXTERNAL_SAVED_NAMES
          The names of saved external processes.
static VectorOption<String> OptionConstants.EXTERNAL_SAVED_WORKDIRS
          The work directories of saved external processes.
static VectorOption<File> OptionConstants.EXTRA_CLASSPATH
           
static VectorOption<String> OptionConstants.EXTRA_COMPILERS
           
static VectorOption<File> OptionConstants.RECENT_FILES
          A vector containing the most recently used files.
static VectorOption<File> OptionConstants.RECENT_PROJECTS
          A vector containing the most recently used projects.
 

Uses of VectorOption in edu.rice.cs.drjava.ui
 

Fields in edu.rice.cs.drjava.ui declared as VectorOption
protected  VectorOption<File> RecentFileManager._settingConfigConstant
          The OptionConstant that should be used to retrieve the list of recent files.
 

Constructors in edu.rice.cs.drjava.ui with parameters of type VectorOption
RecentFileManager(int pos, JMenu fileMenu, RecentFileManager.RecentFileAction action, VectorOption<File> settingConfigConstant)
          Creates a new RecentFileManager.
 

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

Constructors in edu.rice.cs.drjava.ui.config with parameters of type VectorOption
VectorClassnameOptionComponent(VectorOption<String> opt, String text, SwingFrame parent)
           
VectorClassnameOptionComponent(VectorOption<String> opt, String text, SwingFrame parent, String description)
          Constructor that allows for a tooltip description.
VectorFileOptionComponent(VectorOption<File> opt, String text, SwingFrame parent)
           
VectorFileOptionComponent(VectorOption<File> opt, String text, SwingFrame parent, boolean moveButtonEnabled)
          Constructor with flag for move buttons.
VectorFileOptionComponent(VectorOption<File> opt, String text, SwingFrame parent, String description)
          Constructor that allows for a tooltip description.
VectorFileOptionComponent(VectorOption<File> opt, String text, SwingFrame parent, String description, boolean moveButtonEnabled)
          Constructor that allows for a tooltip description.
VectorOptionComponent(VectorOption<T> opt, String text, SwingFrame parent)
          Builds a new VectorOptionComponent.
VectorOptionComponent(VectorOption<T> opt, String text, SwingFrame parent, String description)
          Constructor that allows for a tooltip description.