public class Preferences extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
EDITOR_KEY |
static String |
PARSER_FLAVOR_KEY |
static String |
PARSER_RELAXED |
static String |
PARSER_RIGID |
static String |
SANITIZE_STACK_TRACE_KEY |
static String |
SHOW_LAST_RESULT_KEY |
static IO.Verbosity |
verbosity |
static String |
VERBOSITY_KEY |
| Constructor and Description |
|---|
Preferences() |
| Modifier and Type | Method and Description |
|---|---|
static void |
addChangeListener(PreferenceChangeListener listener) |
static void |
clear() |
static String |
get(String name) |
static String |
get(String name,
String defaultValue) |
static String |
getEditor() |
static String |
getParserFlavor() |
static boolean |
getSanitizeStackTrace() |
static boolean |
getShowLastResult() |
static String[] |
keys() |
static void |
put(String name,
String value) |
public static IO.Verbosity verbosity
public static final String VERBOSITY_KEY
public static final String SHOW_LAST_RESULT_KEY
public static final String SANITIZE_STACK_TRACE_KEY
public static final String EDITOR_KEY
public static final String PARSER_FLAVOR_KEY
public static final String PARSER_RIGID
public static final String PARSER_RELAXED
public static boolean getShowLastResult()
public static boolean getSanitizeStackTrace()
public static String getEditor()
public static String getParserFlavor()
public static String[] keys() throws BackingStoreException
BackingStoreExceptionpublic static void clear()
throws BackingStoreException
BackingStoreExceptionpublic static void addChangeListener(PreferenceChangeListener listener)