bibliothek.extension.gui.dock.preference.preferences.choice
Class TabPlacementChoice
java.lang.Object
bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice<TabPlacement>
bibliothek.extension.gui.dock.preference.preferences.choice.TabPlacementChoice
- All Implemented Interfaces:
- Choice
public class TabPlacementChoice
- extends DefaultChoice<TabPlacement>
Lets the user choose a TabPlacement
.
- Author:
- Benjamin Sigg
Methods inherited from class bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice |
add, add, addChoiceListener, addLinked, equals, fireInserted, fireRemoved, fireUpdated, getDefaultChoice, getEntry, getId, getText, getValue, identifierToValue, indexOfIdentifier, indexOfValue, isNullEntryAllowed, remove, removeChoiceListener, setController, setDefaultChoice, setNullEntryAllowed, size, valueToIdentifier |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TabPlacementChoice
public TabPlacementChoice(DockProperties properties)
- Creates a new choice
- Parameters:
properties
- default settings