Class Preferences


  • public class Preferences
    extends java.lang.Object
    Container for shell preferences.
    • Constructor Detail

      • Preferences

        public Preferences()
    • Method Detail

      • getShowLastResult

        public static boolean getShowLastResult()
      • getSanitizeStackTrace

        public static boolean getSanitizeStackTrace()
      • getEditor

        public static java.lang.String getEditor()
      • getParserFlavor

        public static java.lang.String getParserFlavor()
      • keys

        public static java.lang.String[] keys()
                                       throws java.util.prefs.BackingStoreException
        Throws:
        java.util.prefs.BackingStoreException
      • get

        public static java.lang.String get​(java.lang.String name,
                                           java.lang.String defaultValue)
      • get

        public static java.lang.String get​(java.lang.String name)
      • put

        public static void put​(java.lang.String name,
                               java.lang.String value)
      • clear

        public static void clear()
                          throws java.util.prefs.BackingStoreException
        Throws:
        java.util.prefs.BackingStoreException
      • addChangeListener

        public static void addChangeListener​(java.util.prefs.PreferenceChangeListener listener)