Package | Description |
---|---|
bibliothek.extension.gui.dock.theme.eclipse.stack.tab |
Various components needed to paint and manage the tab which is visible
on a
EclipseTabPane . |
Modifier and Type | Class and Description |
---|---|
class |
EclipseDockTitleEvent
These events are fired by a
DockTitleTab to its
DockTitle to indicate that some properties, normally not
used by a DockTitle , have changed. |