bibliothek.extension.gui.dock.preference.preferences.choice
Class TabPlacementPreference
java.lang.Object
bibliothek.extension.gui.dock.preference.AbstractPreference<V>
bibliothek.extension.gui.dock.preference.DefaultPreference<String>
bibliothek.extension.gui.dock.preference.preferences.ChoiceDockPropertyPreference<TabPlacement>
bibliothek.extension.gui.dock.preference.preferences.choice.TabPlacementPreference
- All Implemented Interfaces:
- Preference<String>
public class TabPlacementPreference
- extends ChoiceDockPropertyPreference<TabPlacement>
Lets the user choose the value of StackDockStation.TAB_PLACEMENT
.
- Author:
- Benjamin Sigg
Methods inherited from class bibliothek.extension.gui.dock.preference.DefaultPreference |
doOperation, getDefaultValue, getDescription, getLabel, getOperations, getPath, getTypePath, getValue, getValueInfo, isEnabled, isNatural, setDefaultValue, setDescription, setLabel, setNatural, setValue, setValueInfo |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TabPlacementPreference
public TabPlacementPreference(DockProperties properties,
Path path)
- Creates a new choice.
- Parameters:
properties
- the properties to read and writepath
- the unique identifier of this preference