|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TabComponent
A TabComponent
paints the content of an EclipseTab
. This
component is informed about the change of properties that are often needed
to paint properly.
Method Summary | |
---|---|
void |
bind()
Informs this tab that it will be shown soon |
java.awt.Component |
getComponent()
Gets the internal representation of this TabComponent , this
method must always return the same value. |
java.awt.Dimension |
getMinimumSize(TabComponent[] tabs)
Gets the minimum size of this tab under the assumption that this tab is displayed together with tabs . |
java.awt.Insets |
getOverlap(TabComponent other)
Gets the number of pixels which should be covered at the sides of this component by other tabs. |
java.awt.Dimension |
getPreferredSize(TabComponent[] tabs)
Gets the preferred size of this tab under the assumption that this tab is displayed together with tabs . |
void |
setFocused(boolean focused)
Tells this component that its Dockable gained or lost focus. |
void |
setIcon(javax.swing.Icon icon)
Sets the icon that should be painted on this tab. |
void |
setOrientation(TabPlacement orientation)
Sets the placement of the tabs and as a result the orientation of this component. |
void |
setPaintIconWhenInactive(boolean paint)
Tells this component whether to paint an Icon if not selected. |
void |
setSelected(boolean selected)
Tells this component whether it has to be painted selected or not. |
void |
setTab(EclipseTab tab)
Informs this TabComponent by which tab is is used. |
void |
setText(java.lang.String text)
Sets the text that should be displayed on this tab. |
void |
setTooltip(java.lang.String tooltip)
Sets the tooltip that should be displayed on this tab. |
void |
unbind()
Informs this tab that it is invisible and must not have any connections to other resources |
Methods inherited from interface bibliothek.gui.dock.DockElementRepresentative |
---|
addMouseInputListener, getElement, getPopupLocation, isUsedAsTitle, removeMouseInputListener, shouldFocus, shouldTransfersFocus |
Method Detail |
---|
java.awt.Component getComponent()
TabComponent
, this
method must always return the same value.
getComponent
in interface DockElementRepresentative
null
void setSelected(boolean selected)
selected
- the selection state of this tabvoid setFocused(boolean focused)
Dockable
gained or lost focus.
focused
- the state of its dockable.void setPaintIconWhenInactive(boolean paint)
Icon
if not selected.
paint
- true
if an icon is always to be painted,
false
if icons should only appear on selected tabs.void setOrientation(TabPlacement orientation)
orientation
- the orientation, not null
void setTab(EclipseTab tab)
TabComponent
by which tab is is used.
tab
- the owner of this TabComponent
java.awt.Insets getOverlap(TabComponent other)
other
- the component which may overlap this component
void bind()
void unbind()
java.awt.Dimension getMinimumSize(TabComponent[] tabs)
tabs
.
tabs
- the displayed tabs, exactly one entry is this
and may contain null
entries.
java.awt.Dimension getPreferredSize(TabComponent[] tabs)
tabs
.
tabs
- the displayed tabs, exactly one entry is this
and may contain null
entries.
void setText(java.lang.String text)
text
- the new textvoid setTooltip(java.lang.String tooltip)
tooltip
- the new tooltip, can be null
void setIcon(javax.swing.Icon icon)
icon
- the icon, can be null
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |