private class ProofSettings.ProofSettingsListener extends Object implements SettingsListener
Constructor and Description |
---|
ProofSettingsListener() |
Modifier and Type | Method and Description |
---|---|
void |
settingsChanged(EventObject e)
called by the Settings object to inform the listener that its
state has changed
|
public void settingsChanged(EventObject e)
settingsChanged
in interface SettingsListener
e
- the Event sent to the listener