edu.rice.cs.drjava.ui.config
Class VectorOptionComponent
java.lang.Object
|
+--edu.rice.cs.drjava.ui.config.OptionComponent
|
+--edu.rice.cs.drjava.ui.config.VectorOptionComponent
- All Implemented Interfaces:
- OptionConstants
- public class VectorOptionComponent
- extends OptionComponent
- implements OptionConstants
Graphical form of a VectorOption for the Extra Classpath option.
Uses a file chooser for each String element.
- Version:
- $Id: VectorOptionComponent.java,v 1.8 2002/09/02 21:24:13 csreis Exp $
Fields inherited from interface edu.rice.cs.drjava.config.OptionConstants |
COMPILER_ERROR_COLOR, DEBUG_BREAKPOINT_COLOR, DEBUG_SHOW_THREADS, DEBUG_SOURCEPATH, DEBUG_STEP_DRJAVA, DEBUG_STEP_INTERPRETER, DEBUG_STEP_JAVA, DEBUG_THREAD_COLOR, DEFINITIONS_BACKGROUND_COLOR, DEFINITIONS_COMMENT_COLOR, DEFINITIONS_DOUBLE_QUOTED_COLOR, DEFINITIONS_KEYWORD_COLOR, DEFINITIONS_MATCH_COLOR, DEFINITIONS_NORMAL_COLOR, DEFINITIONS_NUMBER_COLOR, DEFINITIONS_SINGLE_QUOTED_COLOR, DEFINITIONS_TYPE_COLOR, EXTRA_CLASSPATH, FONT_DOCLIST, FONT_MAIN, FONT_TOOLBAR, HISTORY_MAX_SIZE, INDENT_LEVEL, INTERACTIONS_EXIT_PROMPT, JAVAC_ALLOW_ASSERT, JAVAC_LOCATION, JSR14_COLLECTIONSPATH, JSR14_LOCATION, KEY_BACKWARD, KEY_BEGIN_DOCUMENT, KEY_BEGIN_LINE, KEY_CLOSE_FILE, KEY_COMPILE, KEY_COMPILE_ALL, KEY_COPY, KEY_CUT, KEY_CUT_LINE, KEY_DEBUG_BREAKPOINT_TOGGLE, KEY_DEBUG_MODE_TOGGLE, KEY_DEBUG_RESUME, KEY_DEBUG_STEP_INTO, KEY_DEBUG_STEP_OUT, KEY_DEBUG_STEP_OVER, KEY_DELETE_NEXT, KEY_DELETE_PREVIOUS, KEY_DOWN, KEY_END_DOCUMENT, KEY_END_LINE, KEY_FIND_NEXT, KEY_FIND_REPLACE, KEY_FORWARD, KEY_GOTO_LINE, KEY_NEW_FILE, KEY_NEXT_DOCUMENT, KEY_NEXT_WORD, KEY_OPEN_FILE, KEY_PAGE_DOWN, KEY_PAGE_UP, KEY_PASTE, KEY_PREVIOUS_DOCUMENT, KEY_PREVIOUS_WORD, KEY_PRINT, KEY_PRINT_PREVIEW, KEY_QUIT, KEY_REDO, KEY_SAVE_FILE, KEY_SAVE_FILE_AS, KEY_SELECT_ALL, KEY_UNDO, KEY_UP, LINEENUM_ENABLED, mask, QUIT_PROMPT, RECENT_FILES, RECENT_FILES_MAX_SIZE, TOOLBAR_ICONS_ENABLED, TOOLBAR_TEXT_ENABLED, WORKING_DIRECTORY |
Method Summary |
void |
chooseFile()
Shows a file chooser for adding a file to the element. |
JComponent |
getComponent()
Return's this OptionComponent's configurable component. |
void |
setFileFilter(FileFilter fileFilter)
Set the file filter for this vector option component |
void |
setValue(Object x0)
Sets the value that is currently displayed by this component. |
void |
setValue(gj.util.Vector value)
Displays the given value. |
boolean |
updateConfig()
Updates the config object with the new setting. |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
_listScrollPane
private JScrollPane _listScrollPane
_panel
private JPanel _panel
_list
private JList _list
_addButton
private JButton _addButton
_removeButton
private JButton _removeButton
_moveUpButton
private JButton _moveUpButton
_moveDownButton
private JButton _moveDownButton
_listModel
private DefaultListModel _listModel
_fileFilter
private FileFilter _fileFilter
VectorOptionComponent
public VectorOptionComponent(VectorOption opt,
String text,
Frame parent)
updateConfig
public boolean updateConfig()
- Updates the config object with the new setting.
- Overrides:
updateConfig
in class OptionComponent
- Returns:
- true if the new value is set successfully
setValue
public void setValue(gj.util.Vector value)
- Displays the given value.
getComponent
public JComponent getComponent()
- Return's this OptionComponent's configurable component.
- Overrides:
getComponent
in class OptionComponent
setFileFilter
public void setFileFilter(FileFilter fileFilter)
- Set the file filter for this vector option component
chooseFile
public void chooseFile()
- Shows a file chooser for adding a file to the element.
setValue
public void setValue(Object x0)
- Description copied from class:
OptionComponent
- Sets the value that is currently displayed by this component.
- Overrides:
setValue
in class OptionComponent