public class ColorSettings.ColorProperty extends java.lang.Object implements AbstractPropertiesSettings.PropertyEntry<java.awt.Color>
Constructor and Description |
---|
ColorProperty(java.lang.String key,
java.lang.String description,
java.awt.Color defaultValue) |
Modifier and Type | Method and Description |
---|---|
java.awt.Color |
get() |
java.lang.String |
getDescription() |
java.lang.String |
getKey() |
void |
set(java.awt.Color value) |
void |
set(java.lang.String v) |
java.lang.String |
value() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
update
public ColorProperty(java.lang.String key, java.lang.String description, java.awt.Color defaultValue)
public java.lang.String value()
value
in interface AbstractPropertiesSettings.PropertyEntry<java.awt.Color>
public void set(java.lang.String v)
set
in interface AbstractPropertiesSettings.PropertyEntry<java.awt.Color>
public java.lang.String getKey()
getKey
in interface AbstractPropertiesSettings.PropertyEntry<java.awt.Color>
public void set(java.awt.Color value)
set
in interface AbstractPropertiesSettings.PropertyEntry<java.awt.Color>
public java.awt.Color get()
get
in interface AbstractPropertiesSettings.PropertyEntry<java.awt.Color>
public java.lang.String getDescription()
Copyright © 2003-2019 The KeY-Project.