Uses of Class
bibliothek.gui.dock.util.DockProperties

Packages that use DockProperties
bibliothek.gui   
bibliothek.gui.dock.util   
 

Uses of DockProperties in bibliothek.gui
 

Methods in bibliothek.gui that return DockProperties
 DockProperties DockFrontend.getDockProperties()
          Gets the set of properties which have a controller-global influence.
 DockProperties DockController.getProperties()
          A set of properties that can be used at any place.
 

Uses of DockProperties in bibliothek.gui.dock.util
 

Methods in bibliothek.gui.dock.util that return DockProperties
 DockProperties PropertyValue.getProperties()
          Gets the currently observed properties.
 

Methods in bibliothek.gui.dock.util with parameters of type DockProperties
 void DockPropertyListener.propertyChanged(DockProperties properties, PropertyKey<A> property, A oldValue, A newValue)
          Invoked if the observed value has been changed.
 void PropertyValue.setProperties(DockProperties properties)
          Sets the DockProperties which should be observed.