Uses of Interface
edu.rice.cs.drjava.ui.config.OptionComponent.ChangeListener

Packages that use OptionComponent.ChangeListener

edu.rice.cs.drjava.ui.config

Contains the GUI code for displaying and modifying configuration options.

Uses of OptionComponent.ChangeListener in edu.rice.cs.drjava.ui.config

Methods in edu.rice.cs.drjava.ui.config with parameters of type OptionComponent.ChangeListener

void	OptionComponent.addChangeListener(OptionComponent.ChangeListener listener) Adds a change listener to this component.
void	OptionComponent.removeChangeListener(OptionComponent.ChangeListener listener) Removes a change listener to this component.