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