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 $

Field Summary
private  JButton _addButton
           
private  FileFilter _fileFilter
           
private  JList _list
           
private  DefaultListModel _listModel
           
private  JScrollPane _listScrollPane
           
private  JButton _moveDownButton
           
private  JButton _moveUpButton
           
private  JPanel _panel
           
private  JButton _removeButton
           
 
Fields inherited from class edu.rice.cs.drjava.ui.config.OptionComponent
_label, _option, _parent
 
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
 
Constructor Summary
VectorOptionComponent(VectorOption opt, String text, Frame parent)
           
 
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 edu.rice.cs.drjava.ui.config.OptionComponent
getLabel, getLabelText, getOption, resetToCurrent, resetToDefault, showErrorMessage, showErrorMessage
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

_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
Constructor Detail

VectorOptionComponent

public VectorOptionComponent(VectorOption opt,
                             String text,
                             Frame parent)
Method Detail

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