| edu.rice.cs.drjava.ui.config.DirectoryOptionComponent
| DirectoryOptionComponent | | public class DirectoryOptionComponent extends OptionComponent implements OptionConstants(Code) | | Graphical form of a FileOption.
version:
$Id: DirectoryOptionComponent.java 4255 2007-08-28 19:17:37Z mgricken $ |
| addChoosableFileFilter | | public void addChoosableFileFilter(FileFilter filter)(Code) | | Adds a filter to decide if a directory can be chosen.
|
| getComponent | | public JComponent getComponent()(Code) | | Return's this OptionComponent's configurable component.
|
| setDescription | | public void setDescription(String description)(Code) | | Sets the tooltip description text for this option.
Parameters:
description - the tooltip text |
| setValue | | public void setValue(File value)(Code) | | Displays the given value.
|
| updateConfig | | public boolean updateConfig()(Code) | | Updates the config object with the new setting.
true if the new value is set successfully |
|
|