Saros
Distributed Collaborative Editing and Distributed Party Programming
|
Public Member Functions | |
void | preferenceChange (PreferenceChangeEvent event) |
Preference changes will be handled by implementations of this listener.
The normal usage is an anonymous implementation of this listener
IPreferenceChangeListener listener = new IPreferenceChangeListener() { public void preferenceChange(PreferenceChangeEvent event) { // handle preference change here } };
void de.fu_berlin.inf.dpp.preferences.IPreferenceChangeListener.preferenceChange | ( | PreferenceChangeEvent | event | ) |
This method is called, when a preference is added or the value has been changed.
event | is describing the modified preference with there values |