|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockProperties | |
---|---|
bibliothek.gui | |
bibliothek.gui.dock.util |
Uses of DockProperties in bibliothek.gui |
---|
Fields in bibliothek.gui declared as DockProperties | |
---|---|
private DockProperties |
DockController.properties
a set of properties |
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 |
---|
Fields in bibliothek.gui.dock.util declared as DockProperties | |
---|---|
private DockProperties |
PropertyValue.properties
the observed properties, can be null |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |