bibliothek.gui.dock.util
Interface DockPropertyListener<A>

Type Parameters:
A - the type of observed value

public interface DockPropertyListener<A>

A listener to an entry of DockProperties.

Author:
Benjamin Sigg

Method Summary
 void propertyChanged(DockProperties properties, PropertyKey<A> property, A oldValue, A newValue)
          Invoked if the observed value has been changed.
 

Method Detail

propertyChanged

void propertyChanged(DockProperties properties,
                     PropertyKey<A> property,
                     A oldValue,
                     A newValue)
Invoked if the observed value has been changed.

Parameters:
properties - the map in which the value is stored
property - the key of the value
oldValue - the old value
newValue - the new value