public interface Settings
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
void |
readSettings(java.lang.Object sender,
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
sender is the object calling this method. |
void |
writeSettings(java.lang.Object sender,
java.util.Properties props)
The settings to store are written to the given Properties object.
|
void readSettings(java.lang.Object sender, java.util.Properties props)
sender
is the object calling this method.void writeSettings(java.lang.Object sender, java.util.Properties props)
props
- the Properties object where to write the settings as (key, value) pair
sender
is the object calling this method.void addSettingsListener(SettingsListener l)
l
- the listener