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

Packages that use Option

edu.rice.cs.drjava	This is the top-level package for DrJava.
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

Methods in edu.rice.cs.drjava with parameters of type Option

protected <T> void

DrJavaTestCase.setConfigSetting(Option<T> op, T value)

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	ForcedChoiceOption Class defining a configuration option that requires a choice between mutually-exclusive possible values.
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	LongOption Class defining all configuration options with values of type Long.
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<T> 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<T>

OptionEvent.option

Methods in edu.rice.cs.drjava.config with parameters of type Option

<T> void	Configuration.addOptionListener(Option<T> op, OptionListener<T> l) Adds an OptionListener to the given Option, to be notified each time the option changes.
<T> T	Configuration.getSetting(Option<T> op) Gets the current value of the given Option.
<T> void	Configuration.removeOptionListener(Option<T> op, OptionListener<T> l) Removes an OptionListener from an Option to which it was listening.
<T> T	OptionMap.setOption(Option<T> o, T val)
<T> T	DefaultOptionMap.setOption(Option<T> o, T val)
<T> T	Configuration.setSetting(Option<T> op, T value) Sets the given option to the given value and notifies all listeners of that option of the change.

Constructors in edu.rice.cs.drjava.config with parameters of type Option

OptionEvent(Option<T> option, T value)

VectorOption(String key, Option<T> strategy, String header, char delim, String footer, Vector<T> def)

VectorOption(String key, Option<T> option, Vector<T> def)
Defaults the "header", "footer", and "delim" fields to open bracket, close bracket, and comma, repsectively.

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

Methods in edu.rice.cs.drjava.ui that return Option

Option<KeyStroke>

KeyBindingManager.KeyStrokeData.getOption()

Methods in edu.rice.cs.drjava.ui with parameters of type Option

void	KeyBindingManager.addShiftAction(Option<KeyStroke> opt, Action shiftA) Assigns the given selection action to the combination of the shift key and the given key stroke option.
void	KeyBindingManager.addShiftAction(Option<KeyStroke> opt, String shiftS) Assigns the selection action with the given name to the combination of the shift key and the given key stroke option.
void	KeyBindingManager.put(Option<KeyStroke> kso, Action a, JMenuItem jmi, String name)
void	KeyBindingManager.KeyStrokeData.setOption(Option<KeyStroke> kso)

Constructors in edu.rice.cs.drjava.ui with parameters of type Option

KeyBindingManager.KeyStrokeData(KeyStroke ks, Action a, JMenuItem jmi, String name, Option<KeyStroke> kso)

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

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

protected Option<T>

OptionComponent._option

Methods in edu.rice.cs.drjava.ui.config that return Option

Option<T>

OptionComponent.getOption()

Constructors in edu.rice.cs.drjava.ui.config with parameters of type Option

OptionComponent(Option<T> option, String labelText, SwingFrame parent)