public class ThemePreference extends DefaultPreference<java.lang.String>
DockTheme
. This preference
uses a ThemeMap
to read and store its content.Constructor and Description |
---|
ThemePreference(DockProperties properties,
ThemeMap themes)
Creates a new preference.
|
Modifier and Type | Method and Description |
---|---|
void |
read()
Uses an unknown source to reload this preference.
|
void |
write()
Stores the contents of this preference at the location where it will
be used.
|
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 ThemePreference(DockProperties properties, ThemeMap themes)
properties
- the default settingsthemes
- a list of themes to showpublic void read()
Preference
Preference
should not change its value.public void write()
Preference