public class EclipseIconPreference extends DockPropertyPreference<Boolean>
EclipseTheme
.EclipseTheme.PAINT_ICONS_WHEN_DESELECTED
Constructor and Description |
---|
EclipseIconPreference(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 EclipseIconPreference(DockProperties properties)
properties
- the properties to access