public class Preferences
extends java.lang.Object
Constructor and Description |
---|
Preferences(java.lang.String file,
java.lang.String header) |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
getDefaultProperties() |
java.lang.String |
getPref(java.lang.String name) |
java.lang.String[] |
getProperties() |
void |
load() |
void |
setPref(java.lang.String name,
java.lang.String val) |
boolean |
silentStore() |
void |
store() |
public void setPref(java.lang.String name, java.lang.String val)
public java.lang.String getPref(java.lang.String name)
public java.lang.String[] getProperties()
public java.lang.String[] getDefaultProperties()
public void load()
public void store()
public boolean silentStore()