bibliothek.extension.gui.dock.preference.preferences.choice
Class TabContentFilterPreference
java.lang.Object
bibliothek.extension.gui.dock.preference.AbstractPreference<V>
bibliothek.extension.gui.dock.preference.DefaultPreference<String>
bibliothek.extension.gui.dock.preference.preferences.ChoiceDockPropertyPreference<TabContentFilter>
bibliothek.extension.gui.dock.preference.preferences.choice.TabContentFilterPreference
- All Implemented Interfaces:
- Preference<String>
public class TabContentFilterPreference
- extends ChoiceDockPropertyPreference<TabContentFilter>
Lets the user choose the value of StackDockStation.TAB_CONTENT_FILTER
.
- 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 |
TabContentFilterPreference
public TabContentFilterPreference(DockProperties properties,
Path path)
- Creates a new choice.
- Parameters:
properties
- the properties to read and writepath
- the unique identifier of this preference