public class Preferences extends Object
Modifier and Type | Field | 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 | Description |
---|---|
Preferences() |
Modifier and Type | Method | 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
BackingStoreException
public static void clear() throws BackingStoreException
BackingStoreException
public static void addChangeListener(PreferenceChangeListener listener)