Package | Description |
---|---|
bibliothek.gui.dock.themes |
Contains an implementation of
DockTheme and
all classes which are neede by this theme. |
bibliothek.gui.dock.util |
Distribution of information in a global scale and methods available from
everywhere.
|
Modifier and Type | Field and Description |
---|---|
static TypedUIProperties.Type<BackgroundPaint> |
ThemeManager.BACKGROUND_PAINT_TYPE
Identifier for the type
BackgroundPaint |
static TypedUIProperties.Type<BorderModifier> |
ThemeManager.BORDER_MODIFIER_TYPE
Identifier for the type
BorderModifier |
static TypedUIProperties.Type<Combiner> |
ThemeManager.COMBINER_TYPE
Identifier for the type
Combiner |
static TypedUIProperties.Type<DisplayerFactory> |
ThemeManager.DISPLAYER_FACTORY_TYPE
Identifier for the type
DisplayerFactory |
static TypedUIProperties.Type<SpanFactory> |
ThemeManager.SPAN_FACTORY_TYPE
Identifier for the type
SpanFactory |
static TypedUIProperties.Type<StationPaint> |
ThemeManager.STATION_PAINT_TYPE
Identifier for a factory that creates
StationPaint s. |
Modifier and Type | Method and Description |
---|---|
<V,A extends V> |
ThemeManager.link(PropertyKey<A> source,
TypedUIProperties.Type<V> type,
String id)
|
<V> void |
ThemeManager.unlink(TypedUIProperties.Type<V> type,
String id)
Disables a link between a property and the entry
id . |
Constructor and Description |
---|
StationThemeItemValue(String id,
Path kind,
TypedUIProperties.Type<V> type,
DockStation station)
Creates a new object.
|
Modifier and Type | Method and Description |
---|---|
<V> void |
TypedUIProperties.add(String id,
Path kind,
TypedUIProperties.Type<V> type,
UIValue<V> value)
Adds the listener
value to this manager. |
<V> V |
TypedUIProperties.get(String id,
TypedUIProperties.Type<V> type)
Gets the current value of the resource
id with type type . |
<V,A extends V> |
TypedPropertyUIScheme.link(PropertyKey<A> source,
TypedUIProperties.Type<V> destinationType,
String destinationId)
Creates a link between the key
source and the resource destinationId . |
<V> void |
TypedUIProperties.publish(Priority priority,
Path kind,
TypedUIProperties.Type<V> type,
UIBridge<V,UIValue<V>> bridge)
|
<V> void |
TypedUIProperties.put(Priority priority,
String id,
TypedUIProperties.Type<V> type,
V value)
Sets a value of this manager.
|
<T> void |
TypedUIProperties.registerType(TypedUIProperties.Type<T> type)
Registers
type at this properties. |
<V> void |
TypedPropertyUIScheme.unlink(TypedUIProperties.Type<V> destinationType,
String destinationId)
Disables the connection leading to the resource
destinationId . |
<V> void |
TypedUIProperties.unpublish(Priority priority,
Path kind,
TypedUIProperties.Type<V> type)
|