Package | Description |
---|---|
bibliothek.extension.gui.dock.theme.eclipse |
Various graphical and logical components needed when the
EclipseTheme
is active. |
Modifier and Type | Class and Description |
---|---|
class |
EclipseBorder
A border that has round edges.
|
class |
EclipseButtonBorder
A
Border used by the EclipseButtonTitle . |
class |
OwnedEclipseBorder
This border paints round edges at the edges which touch
the side of the tabs.
|