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
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 storedproperty
- the key of the valueoldValue
- the old valuenewValue
- the new value