bibliothek.extension.gui.dock.theme.eclipse.stack.tab
Interface TabPainter

public interface TabPainter

A TabPainter is used to setup the basic graphical elements of a EclipseTabPane.

Author:

Janni Kovacs, Benjamin Sigg

Method Summary

TabPanePainter	createDecorationPainter(EclipseTabPane pane) Creates a new painter for the component which contains the tabs.
InvisibleTab	createInvisibleTab(InvisibleTabPane pane, Dockable dockable) Creates a new invisible tab for pane representing dockable.
TabComponent	createTabComponent(EclipseTabPane pane, Dockable dockable) Creates a new tab for an EclipseTabPane.
javax.swing.border.Border	getFullBorder(BorderedComponent owner, DockController controller, Dockable dockable) Gets the border which will be around pane when dockable is selected.

Method Detail

createDecorationPainter

TabPanePainter createDecorationPainter(EclipseTabPane pane)

Creates a new painter for the component which contains the tabs.

Parameters:

pane - the panel for which this painter will be used

Returns:

the new painter, can be null

createTabComponent

TabComponent createTabComponent(EclipseTabPane pane,
                                Dockable dockable)

Creates a new tab for an EclipseTabPane. At the time this method is called the EclipseTabPane is connected to a DockController which will not change as long as the created TabComponent is in use. The EclipseTabPane is also connected to a DockStation which will neither change as long as the tab is in use.

Parameters:

pane - the panel for which this tab is required

dockable - the element for which the tab is shown

Returns:

the new tab, never null

createInvisibleTab

InvisibleTab createInvisibleTab(InvisibleTabPane pane,
                                Dockable dockable)

Creates a new invisible tab for pane representing dockable.

Parameters:

pane - the owner of the new tab

dockable - what the new tab represents

Returns:

the new tab, never null

getFullBorder

javax.swing.border.Border getFullBorder(BorderedComponent owner,
                                        DockController controller,
                                        Dockable dockable)

Gets the border which will be around pane when dockable is selected.

Parameters:

owner - the component on which the border will be shown

controller - the current controller, never null

dockable - the element which might influence the border, never null

Returns:

the border of dockable or null