Package | Description |
---|---|
bibliothek.gui |
The high level interfaces of the framework and the most often used classes.
|
bibliothek.gui.dock.themes |
Contains an implementation of
DockTheme and
all classes which are neede by this theme. |
Modifier and Type | Method and Description |
---|---|
ThemeFactory |
DockUI.getDefaultTheme()
Gets the default-theme to be used by all
DockController s when
nothing else is specified. |
ThemeFactory[] |
DockUI.getThemes()
Gets the list of all available themes.
|
Modifier and Type | Method and Description |
---|---|
void |
DockUI.registerTheme(ThemeFactory factory)
Stores a new theme.
|
void |
DockUI.unregisterTheme(ThemeFactory factory)
Removes an earlier added factory from the set of theme-factories.
|
Modifier and Type | Class and Description |
---|---|
class |
ThemePropertyFactory<T extends DockTheme>
|
Modifier and Type | Method and Description |
---|---|
ThemeFactory |
DefaultThemeMeta.getFactory() |
ThemeFactory |
ThemeFactoryText.getFactory()
Gets the factory for which text is required
|
ThemeFactory |
ThemeMeta.getFactory()
Gets the factory which created this
ThemeMeta . |
static <T extends DockTheme> |
NoStackTheme.getFactory(java.lang.Class<T> theme)
Creates a
ThemeFactory for this theme encapsulating another
theme. |
Modifier and Type | Method and Description |
---|---|
void |
DefaultThemeMeta.setFactory(ThemeFactory factory) |
void |
ThemeMeta.setFactory(ThemeFactory factory)
Changes the result of
ThemeMeta.getFactory() to factory . |
Constructor and Description |
---|
DefaultThemeMeta(ThemeFactory factory,
DockController controller,
java.lang.String nameId,
java.lang.String descriptionId,
java.lang.String[] authors,
java.net.URI[] webpages)
Creates new meta information.
|
ThemeFactoryText(java.lang.String id,
ThemeFactory factory)
Creates a new
TextValue . |