| edu.rice.cs.drjava.ui.config.IntegerOptionComponent
| IntegerOptionComponent | | public class IntegerOptionComponent extends OptionComponent (Code) | | Graphical form of an IntegerOption.
version:
$Id: IntegerOptionComponent.java 4255 2007-08-28 19:17:37Z mgricken $ |
| 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(Integer 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 |
|
|