Field Detail

• verbosity

  public static IO.Verbosity verbosity

• VERBOSITY_KEY

  public static final String VERBOSITY_KEY

  See Also:

  Constant Field Values

• SHOW_LAST_RESULT_KEY

  public static final String SHOW_LAST_RESULT_KEY

  See Also:

  Constant Field Values

• SANITIZE_STACK_TRACE_KEY

  public static final String SANITIZE_STACK_TRACE_KEY

  See Also:

  Constant Field Values

• EDITOR_KEY

  public static final String EDITOR_KEY

  See Also:

  Constant Field Values

• PARSER_FLAVOR_KEY

  public static final String PARSER_FLAVOR_KEY

  See Also:

  Constant Field Values

• PARSER_RIGID

  public static final String PARSER_RIGID

  See Also:

  Constant Field Values

• PARSER_RELAXED

  public static final String PARSER_RELAXED

  See Also:

  Constant Field Values

Constructor Detail

• Preferences

  public Preferences()

Method Detail

• getShowLastResult

  public static boolean getShowLastResult()

• getSanitizeStackTrace

  public static boolean getSanitizeStackTrace()

• getEditor

  public static String getEditor()

• getParserFlavor

  public static String getParserFlavor()

• keys

  public static String[] keys()
                       throws BackingStoreException

  Throws:

  BackingStoreException

• get

  public static String get​(String name,
                           String defaultValue)

• get

  public static String get​(String name)

• put

  public static void put​(String name,
                         String value)

• clear

  public static void clear()
                    throws BackingStoreException

  Throws:

  BackingStoreException

• addChangeListener

  public static void addChangeListener​(PreferenceChangeListener listener)