bibliothek.extension.gui.dock.preference
Interface PreferenceListener<V>
- Type Parameters:
V
- the kind of value the observed uses
public interface PreferenceListener<V>
A listener to a Preference
, gets informed when the preference
changes.
- Author:
- Benjamin Sigg
Method Summary |
void |
changed(Preference<V> preference)
Called when preference changed its value. |
changed
void changed(Preference<V> preference)
- Called when
preference
changed its value.
- Parameters:
preference
- the preference that changed its value