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
BackingStoreException
public static void clear() throws BackingStoreException
BackingStoreException
public static void addChangeListener(PreferenceChangeListener listener)