bibliothek.extension.gui.dock.theme.eclipse
Interface EclipseThemeConnectorListener
public interface EclipseThemeConnectorListener
A listener to an EclipseThemeConnector
, can be called if a property
of the connector changes.
- Author:
- Benjamin Sigg
titleBarChanged
void titleBarChanged(EclipseThemeConnector source,
Dockable dockable,
EclipseThemeConnector.TitleBar title)
- Called if the result of
EclipseThemeConnector.getTitleBarKind(bibliothek.gui.DockStation, Dockable)
has changed.
- Parameters:
source
- the source of the eventdockable
- the affected dockabletitle
- the new kind of title for dockable