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

Packages that use OptionEvent

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.

Uses of OptionEvent in edu.rice.cs.drjava.config

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

void	ConfigOptionListeners.SlaveJVMArgsListener.optionChanged(OptionEvent<String> oe)
void	ConfigOptionListeners.SlaveJVMXMXListener.optionChanged(OptionEvent<String> oe)
void	ConfigOptionListeners.MasterJVMArgsListener.optionChanged(OptionEvent<String> oe)
void	ConfigOptionListeners.MasterJVMXMXListener.optionChanged(OptionEvent<String> oe)
void	ConfigOptionListeners.JavadocCustomParamsListener.optionChanged(OptionEvent<String> oe)
void	ConfigOptionListeners.LookAndFeelListener.optionChanged(OptionEvent<String> oe)
void	ConfigOptionListeners.PlasticThemeListener.optionChanged(OptionEvent<String> oe)
void	OptionListener.optionChanged(OptionEvent<T> oce)

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

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

void	KeyBindingManager.KeyStrokeOptionListener.optionChanged(OptionEvent<KeyStroke> oce)