bibliothek.extension.gui.dock.preference.preferences
Class EclipseTabPreference
java.lang.Object
bibliothek.extension.gui.dock.preference.AbstractPreference<V>
bibliothek.extension.gui.dock.preference.DefaultPreference<String>
bibliothek.extension.gui.dock.preference.preferences.ChoiceDockPropertyPreference<TabPainter>
bibliothek.extension.gui.dock.preference.preferences.EclipseTabPreference
- All Implemented Interfaces:
- Preference<String>
public class EclipseTabPreference
- extends ChoiceDockPropertyPreference<TabPainter>
Determines the way tabs are painted in the EclipseTheme
.
- Author:
- Benjamin Sigg
Methods inherited from class bibliothek.extension.gui.dock.preference.DefaultPreference |
addPreferenceListener, doOperation, getDefaultValue, getDescription, getLabel, getOperations, getPath, getTypePath, getValue, getValueInfo, isEnabled, isNatural, removePreferenceListener, setDefaultValue, setDescription, setDescriptionId, setLabel, setLabelId, setModel, setNatural, setValue, setValueInfo |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EclipseTabPreference
public EclipseTabPreference(DockProperties properties)
- Creates a new preference
- Parameters:
properties
- the properties to read from or to write to