bibliothek.extension.gui.dock.preference.preferences.choice
Class EclipseTabChoice
java.lang.Object
bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice<TabPainter>
bibliothek.extension.gui.dock.preference.preferences.choice.EclipseTabChoice
- All Implemented Interfaces:
- Choice
public class EclipseTabChoice
- extends DefaultChoice<TabPainter>
The way tabs are painted in the EclipseTheme
- Author:
- Benjamin Sigg
Methods inherited from class bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice |
add, equals, getDefaultChoice, getId, getText, getValue, identifierToValue, indexOfIdentifier, indexOfValue, isNullEntryAllowed, remove, setDefaultChoice, setNullEntryAllowed, size, valueToIdentifier |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EclipseTabChoice
public EclipseTabChoice(DockProperties properties)
- Creates a new choice.
- Parameters:
properties
- default settings