public class Preferences extends Object
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 |
|---|---|---|
|
public static void |
addChangeListener(PreferenceChangeListener listener) |
|
public static void |
clear() |
|
public static String |
get(String name, String defaultValue) |
|
public static String |
get(String name) |
|
public static String |
getEditor() |
|
public static String |
getParserFlavor() |
|
public static boolean |
getSanitizeStackTrace() |
|
public static boolean |
getShowLastResult() |
|
public static String[] |
keys() |
|
public void |
preferenceChange(PreferenceChangeEvent event) |
|
public static void |
put(String name, String value) |