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 Params | Return 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) |