Container for shell preferences.
| Modifiers | Name | 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 String | VERBOSITY_KEY | |
| static Verbosity | verbosity | 
| Type | Name and description | 
|---|---|
| static void | addChangeListener(PreferenceChangeListener listener) | 
| static void | clear() | 
| static String | get(String name, String defaultValue) | 
| static String | get(String name) | 
| static String | getEditor() | 
| static String | getParserFlavor() | 
| static boolean | getSanitizeStackTrace() | 
| static boolean | getShowLastResult() | 
| static String[] | keys() | 
| static void | put(String name, String value) |