bibliothek.gui.dock.common.preference
Class ThemePreference
java.lang.Object
bibliothek.extension.gui.dock.preference.AbstractPreference<V>
bibliothek.extension.gui.dock.preference.DefaultPreference<String>
bibliothek.gui.dock.common.preference.ThemePreference
- All Implemented Interfaces:
- Preference<String>
public class ThemePreference
- extends DefaultPreference<String>
A preference allowing the user to select one DockTheme
. This preference
uses a ThemeMap
to read and store its content.
- Author:
- Benjamin Sigg
Method Summary |
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. |
Methods inherited from class bibliothek.extension.gui.dock.preference.DefaultPreference |
doOperation, getDefaultValue, getDescription, getLabel, getOperations, getPath, getTypePath, getValue, getValueInfo, isEnabled, isNatural, setDefaultValue, setDescription, setLabel, setNatural, setValue, setValueInfo |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ThemePreference
public ThemePreference(DockProperties properties,
ThemeMap themes)
- Creates a new preference.
- Parameters:
properties
- the default settingsthemes
- a list of themes to show
read
public void read()
- Description copied from interface:
Preference
- Uses an unknown source to reload this preference. If the underlying
resource cannot be interpreted, or contains an invalid value, then
this
Preference
should not change its value.
write
public void write()
- Description copied from interface:
Preference
- Stores the contents of this preference at the location where it will
be used.