public interface EclipseThemeConnectorListener
EclipseThemeConnector
, can be called if a property
of the connector changes.Modifier and Type | Method and Description |
---|---|
void |
titleBarChanged(EclipseThemeConnector source,
Dockable dockable,
EclipseThemeConnector.TitleBar title)
Called if the result of
EclipseThemeConnector.getTitleBarKind(bibliothek.gui.DockStation, Dockable)
has changed. |
void titleBarChanged(EclipseThemeConnector source, Dockable dockable, EclipseThemeConnector.TitleBar title)
EclipseThemeConnector.getTitleBarKind(bibliothek.gui.DockStation, Dockable)
has changed.source
- the source of the eventdockable
- the affected dockabletitle
- the new kind of title for dockable