public class Preferences
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
sanitizeStackTrace |
static boolean |
showLastResult |
static IO.Verbosity |
verbosity |
Constructor and Description |
---|
Preferences() |
Modifier and Type | Method and 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[] |
keys() |
static void |
put(java.lang.String name,
java.lang.String value) |
public static IO.Verbosity verbosity
public static boolean showLastResult
public static boolean sanitizeStackTrace
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)