public class Configuration
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CONFIGFILE
The name of the config file
|
static java.lang.String |
PROP_DOT_LOCATION
The location of the external dot layouter
|
static java.lang.String |
PROP_RECENT_FILES
The semicolon separated list of recent files
|
static java.lang.String |
PROP_USE_SYSTEM_LOOK_AND_FEEL
A flag if the system look and feel should be used
|
Constructor and Description |
---|
Configuration()
Creates a new configuration.
|
Modifier and Type | Method and Description |
---|---|
static Configuration |
getInstance()
Returns the instance.
|
static java.util.Properties |
getProperties() |
java.lang.String |
getProperty(java.lang.String key)
Returns a propery
|
java.lang.String |
getProperty(java.lang.String key,
java.lang.String defaultValue)
Returns a property
|
void |
setProperty(java.lang.String key,
java.lang.String value)
Sets a property (and stores the updated file)
|
public static final java.lang.String CONFIGFILE
public static final java.lang.String PROP_DOT_LOCATION
public static final java.lang.String PROP_RECENT_FILES
public static final java.lang.String PROP_USE_SYSTEM_LOOK_AND_FEEL
public static Configuration getInstance()
public java.lang.String getProperty(java.lang.String key)
key
- public java.lang.String getProperty(java.lang.String key, java.lang.String defaultValue)
key
- defaultValue
- The default value to be returned if the key does not exist.public void setProperty(java.lang.String key, java.lang.String value)
key
- value
- public static java.util.Properties getProperties()