edu.rice.cs.drjava.config
Interface OptionListener<T>

All Known Implementing Classes:

ConfigOptionListeners.JavadocCustomParamsListener, ConfigOptionListeners.LookAndFeelListener, ConfigOptionListeners.MasterJVMArgsListener, ConfigOptionListeners.MasterJVMXMXListener, ConfigOptionListeners.PlasticThemeListener, ConfigOptionListeners.SlaveJVMArgsListener, ConfigOptionListeners.SlaveJVMXMXListener, KeyBindingManager.KeyStrokeOptionListener

public interface OptionListener<T>

Version:

$Id: OptionListener.java 4314 2008-01-30 00:08:33Z mgricken $

Method Summary

void	optionChanged(OptionEvent<T> oce)

Method Detail

optionChanged

void optionChanged(OptionEvent<T> oce)