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)