bibliothek.gui.dock.themes
Interface DockThemeExtension

public interface DockThemeExtension

An extension to a DockTheme, may be used by the DockTheme to override some settings.

Author:

Benjamin Sigg

Field Summary

static Path	DOCK_THEME_EXTENSION The name of a ExtensionName creating DockThemeExtensions.
static String	THEME_PARAMETER The parameter name for the theme that is extended.

Method Summary

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.

Field Detail

DOCK_THEME_EXTENSION

static final Path DOCK_THEME_EXTENSION

The name of a ExtensionName creating DockThemeExtensions.

THEME_PARAMETER

static final String THEME_PARAMETER

The parameter name for the theme that is extended.

See Also:

Constant Field Values

Method Detail

install

void install(DockController controller,
             DockTheme theme)

Called by the DockTheme before it installs itself.

Parameters:

controller - the controller on which the theme is installed

theme - the theme that is about to get installed

installed

void installed(DockController controller,
               DockTheme theme)

Called by the DockTheme after it installed itself.

Parameters:

controller - the controller on which the theme is installed

theme - the theme that was installed

uninstall

void uninstall(DockController controller,
               DockTheme theme)

Called by the DockTheme after it was uninstalled from controller.

Parameters:

controller - the controller which no longer uses theme

theme - the theme calling using this extension