Field Detail

• public static final String EDITOR_KEY

• public static final String PARSER_FLAVOR_KEY

• public static final String PARSER_RELAXED

• public static final String PARSER_RIGID

• public static final String SANITIZE_STACK_TRACE_KEY

• public static final String SHOW_LAST_RESULT_KEY

• public static final String VERBOSITY_KEY

• public static Verbosity verbosity

Method Detail

• 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)