public interface PrefsListener
extends java.util.EventListener
To use a PrefsListener, add it using
Prefs.addPrefsListener(pl);and remove it by using
Prefs.removePrefsListener(pl);
Modifier and Type | Method and Description |
---|---|
void |
prefChanged(PrefsEvent e)
Called on each PrefsListener when a preference is changed.
|
void prefChanged(PrefsEvent e)
e
- the event object