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(Dockable) has changed.
 

Method Detail

titleBarChanged

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

Parameters:
source - the source of the event
dockable - the affected dockable
title - the new kind of title for dockable