|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DockProperties | |
---|---|
bibliothek.extension.gui.dock.preference.model | |
bibliothek.extension.gui.dock.preference.preferences | |
bibliothek.gui | |
bibliothek.gui.dock.util |
Uses of DockProperties in bibliothek.extension.gui.dock.preference.model |
---|
Constructors in bibliothek.extension.gui.dock.preference.model with parameters of type DockProperties | |
---|---|
BubbleThemePreferenceModel(DockProperties properties)
Creates a new model |
|
EclipseThemePreferenceModel(DockProperties properties)
Creates a new model |
|
KeyStrokePreferenceModel(DockProperties properties)
Creates a new model. |
|
LayoutPreferenceModel(DockProperties properties)
|
Uses of DockProperties in bibliothek.extension.gui.dock.preference.preferences |
---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |