public interface DockThemeExtension
Modifier and Type | Field and Description |
---|---|
static Path |
DOCK_THEME_EXTENSION
The name of a
ExtensionName creating DockThemeExtension s. |
static java.lang.String |
THEME_PARAMETER
The parameter name for the theme that is extended.
|
Modifier and Type | Method and Description |
---|---|
void |
install(DockController controller,
DockTheme theme)
Called by the
DockTheme before it installs itself. |
void |
installed(DockController controller,
DockTheme theme)
Called by the
DockTheme after it installed itself. |
void |
uninstall(DockController controller,
DockTheme theme)
Called by the
DockTheme after it was uninstalled from controller . |
static final Path DOCK_THEME_EXTENSION
ExtensionName
creating DockThemeExtension
s.static final java.lang.String THEME_PARAMETER
void install(DockController controller, DockTheme theme)
DockTheme
before it installs itself.controller
- the controller on which the theme is installedtheme
- the theme that is about to get installedvoid installed(DockController controller, DockTheme theme)
DockTheme
after it installed itself.controller
- the controller on which the theme is installedtheme
- the theme that was installedvoid uninstall(DockController controller, DockTheme theme)
DockTheme
after it was uninstalled from controller
.controller
- the controller which no longer uses theme
theme
- the theme calling using this extension