public class Preferences
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static IO.Verbosity |
verbosity |
Constructor | Description |
---|---|
Preferences() |
Modifier and Type | Method | Description |
---|---|---|
static void |
addChangeListener(java.util.prefs.PreferenceChangeListener listener) |
|
static void |
clear() |
|
static java.lang.String |
get(java.lang.String name) |
|
static java.lang.String |
get(java.lang.String name,
java.lang.String defaultValue) |
|
static java.lang.String |
getEditor() |
|
static java.lang.String |
getParserFlavor() |
|
static boolean |
getSanitizeStackTrace() |
|
static boolean |
getShowLastResult() |
|
static java.lang.String[] |
keys() |
|
static void |
put(java.lang.String name,
java.lang.String value) |
public static IO.Verbosity verbosity
public static boolean getShowLastResult()
public static boolean getSanitizeStackTrace()
public static java.lang.String getEditor()
public static java.lang.String getParserFlavor()
public static java.lang.String[] keys() throws java.util.prefs.BackingStoreException
java.util.prefs.BackingStoreException
public static java.lang.String get(java.lang.String name, java.lang.String defaultValue)
public static java.lang.String get(java.lang.String name)
public static void put(java.lang.String name, java.lang.String value)
public static void clear() throws java.util.prefs.BackingStoreException
java.util.prefs.BackingStoreException
public static void addChangeListener(java.util.prefs.PreferenceChangeListener listener)