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