Package | Description |
---|---|
bibliothek.extension.gui.dock.preference.preferences |
Implementations of various
Preference s which
are used in the default set of preferences. |
bibliothek.extension.gui.dock.preference.preferences.choice |
A set of small classes containing choices the user can make.
|
Modifier and Type | Class and Description |
---|---|
class |
BubbleColorSchemePreference
Allows to set the
ColorScheme of the BubbleTheme . |
class |
EclipseTabPreference
Determines the way tabs are painted in the
EclipseTheme . |
Modifier and Type | Class and Description |
---|---|
class |
TabContentFilterPreference
Lets the user choose the value of
StackDockStation.TAB_CONTENT_FILTER . |
class |
TabPlacementPreference
Lets the user choose the value of
StackDockStation.TAB_PLACEMENT . |