Uses of Class
edu.rice.cs.drjava.config.Option

Packages that use Option
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 Option in edu.rice.cs.drjava.config
 

Subclasses of Option in edu.rice.cs.drjava.config
 class BooleanOption
          Class defining all configuration options with values of type Boolean.
 class ColorOption
          Class defining all configuration options with values of type Color.
 class FileOption
          Class representing all configuration options with values of type File.
 class FontOption
          Class defining all configuration entries of type Font
 class IntegerOption
          Class defining all configuration options with values of type Integer.
 class KeyStrokeOption
          Class representing all configuration options with values of type KeyStroke.
 class NonNegativeIntegerOption
          Class defining all configuration options with values of type NonNegativeInteger.
 class StringOption
          Class representing all configuration options with values of type String.
 class VectorOption
          Abstract class defining behavior shared by all configuration options with values of type Vector.
 

Fields in edu.rice.cs.drjava.config declared as Option
 Option OptionEvent.option
           
 

Methods in edu.rice.cs.drjava.config with parameters of type Option
 Object Configuration.setSetting(Option op, Object value)
          Sets the given option to the given value and notifies all listeners of that option of the change.
 Object Configuration.getSetting(Option op)
          Gets the current value of the given Option.
 void Configuration.addOptionListener(Option op, OptionListener l)
          Adds an OptionListener to the given Option, to be notified each time the option changes.
 void Configuration.removeOptionListener(Option op, OptionListener l)
          Removes an OptionListener from an Option to which it was listening.
 Object DefaultOptionMap.setOption(Option o, Object val)
           
 Object OptionMap.setOption(Option o, Object val)
           
 

Constructors in edu.rice.cs.drjava.config with parameters of type Option
VectorOption(String key, Option strategy, String header, char delim, String footer, gj.util.Vector def)
           
VectorOption(String key, Option option, gj.util.Vector def)
          Defaults the "header", "footer", and "delim" fields to open bracket, close bracket, and comma, repsectively.
OptionEvent(Option option, Object value)
           
 

Uses of Option in edu.rice.cs.drjava.ui
 

Fields in edu.rice.cs.drjava.ui declared as Option
private  Option KeyBindingManager.KeyStrokeData._kso
           
 

Methods in edu.rice.cs.drjava.ui that return Option
 Option KeyBindingManager.KeyStrokeData.getOption()
           
 

Methods in edu.rice.cs.drjava.ui with parameters of type Option
private  void MainFrame._addMenuItem(JMenu menu, Action a, Option opt)
          Adds an Action as a menu item to the given menu, using the specified configurable keystroke.
private  void MainFrame._setMenuShortcut(JMenuItem item, Action a, Option opt)
          Sets the given menu item to have the specified configurable keystroke.
 void KeyBindingManager.put(Option kso, Action a, JMenuItem jmi, String name)
           
 void KeyBindingManager.addShiftAction(Option opt, String shiftS)
          Takes an option, its name, and the name of the corresponding selection action and returns the selection action after putting the appropriate data pairs into their respective Hashtables Also adds new KeyStrokOptionListeners to the non-shifted Actions
 void KeyBindingManager.KeyStrokeData.setOption(Option kso)
           
 

Constructors in edu.rice.cs.drjava.ui with parameters of type Option
KeyBindingManager.KeyStrokeData(KeyStroke ks, Action a, JMenuItem jmi, String name, Option kso)
           
 

Uses of Option in edu.rice.cs.drjava.ui.config
 

Fields in edu.rice.cs.drjava.ui.config declared as Option
protected  Option OptionComponent._option
           
 

Methods in edu.rice.cs.drjava.ui.config that return Option
 Option OptionComponent.getOption()
           
 

Constructors in edu.rice.cs.drjava.ui.config with parameters of type Option
OptionComponent(Option option, String labelText, Frame parent)