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