public class ColorSettings extends AbstractPropertiesSettings
If you need a new color use: define(String, String, Color)
.
Modifier and Type | Class and Description |
---|---|
class |
ColorSettings.ColorProperty
A property for handling colors.
|
AbstractPropertiesSettings.PropertyEntry<T>
Modifier and Type | Field and Description |
---|---|
static java.io.File |
SETTINGS_FILE |
static java.lang.String |
SETTINGS_FILENAME |
listenerList, properties, propertyEntries
Modifier and Type | Method and Description |
---|---|
static ColorSettings.ColorProperty |
define(java.lang.String key,
java.lang.String desc,
java.awt.Color color) |
static java.awt.Color |
fromHex(java.lang.String s) |
static ColorSettings |
getInstance() |
java.util.stream.Stream<ColorSettings.ColorProperty> |
getProperties() |
static java.awt.Color |
invert(java.awt.Color c) |
void |
readSettings(java.util.Properties props)
gets a Properties object and has to perform the necessary
steps in order to change this object in a way that it
represents the stored settings
|
void |
save()
Writes the current settings to default location.
|
static java.lang.String |
toHex(java.awt.Color c) |
addSettingsListener, createBooleanProperty, createDoubleProperty, createFloatProperty, createIntegerProperty, createStringListProperty, createStringProperty, createStringSetProperty, fireSettingsChange, isInitialized, removeSettingsListener, writeSettings
public static final java.lang.String SETTINGS_FILENAME
public static final java.io.File SETTINGS_FILE
public static ColorSettings getInstance()
public static ColorSettings.ColorProperty define(java.lang.String key, java.lang.String desc, java.awt.Color color)
public static java.lang.String toHex(java.awt.Color c)
public static java.awt.Color fromHex(java.lang.String s)
public static java.awt.Color invert(java.awt.Color c)
public void save()
SETTINGS_FILE
public java.util.stream.Stream<ColorSettings.ColorProperty> getProperties()
public void readSettings(java.util.Properties props)
Settings
readSettings
in interface Settings
readSettings
in class AbstractPropertiesSettings
Copyright © 2003-2019 The KeY-Project.