public class EclipseTabPreference extends ChoiceDockPropertyPreference<TabPainter>
EclipseTheme
.Constructor and Description |
---|
EclipseTabPreference(DockProperties properties)
Creates a new preference
|
read, write
addPreferenceListener, doOperation, getDefaultValue, getDescription, getLabel, getOperations, getPath, getTypePath, getValue, getValueInfo, isEnabled, isNatural, removePreferenceListener, setDefaultValue, setDescription, setDescriptionId, setLabel, setLabelId, setModel, setNatural, setValue, setValueInfo
fireChanged, hasListeners, listeners
public EclipseTabPreference(DockProperties properties)
properties
- the properties to read from or to write to