de.uka.ilkd.key.settings

Interface SettingsListener

All Known Implementing Classes:

MainWindow.MainProofListener, ProofIndependentSettings, ProofSettings.ProofSettingsListener

public interface SettingsListener

This interface is implemented by objects that listen to settings object. An object implementing the settings interface will call the method settingChanged of the listener

Method Summary

Modifier and Type	Method and Description
void	settingsChanged(EventObject e) called by the Settings object to inform the listener that its state has changed

Method Detail

settingsChanged

void settingsChanged(EventObject e)

called by the Settings object to inform the listener that its state has changed

Parameters:

e - the Event sent to the listener