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

Method Summary

void	titleBarChanged(EclipseThemeConnector source, Dockable dockable, EclipseThemeConnector.TitleBar title) Called if the result of EclipseThemeConnector.getTitleBarKind(bibliothek.gui.DockStation, Dockable) has changed.

Method Detail

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 event

dockable - the affected dockable

title - the new kind of title for dockable