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.

Method Detail

changed

void changed(Preference<V> preference)

Called when preference changed its value.

Parameters:

preference - the preference that changed its value