public interface UserSettings extends Settings
Settings.EXPORT, Settings.FILTER, Settings.METAOPTION, Settings.OPTION
IMAGE_SCALE_FACTOR, MAX_ERRORS_PER_FILE
Modifier and Type | Method and Description |
---|---|
void |
reset()
Sets the user settings to default.
|
void |
save()
Stores all user settings.
|
copy, getAllObjectSettingNames, getColor, getSetting, isEnabled, setColor, setEnabled, setMarkerColor, setSetting
getMarkerColor, getOutlineColor
void reset() throws java.io.IOException
java.io.IOException
- if an error occurs via resetting the settingsvoid save() throws java.io.IOException
java.io.IOException
- if an error occurs via storing the settingsCopyright © 2010-2022 by i-net software GmbH