|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |