Class Preferences


  • public class Preferences
    extends java.lang.Object
    Container for shell preferences.
    Version:
    $Id$
    Author:
    Jason Dillon
    • Constructor Summary

      Constructors 
      Constructor Description
      Preferences()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void addChangeListener​(java.util.prefs.PreferenceChangeListener listener)  
      static void clear()  
      static java.lang.String get​(java.lang.String name)  
      static java.lang.String get​(java.lang.String name, java.lang.String defaultValue)  
      static java.lang.String getEditor()  
      static java.lang.String getParserFlavor()  
      static boolean getSanitizeStackTrace()  
      static boolean getShowLastResult()  
      static java.lang.String[] keys()  
      static void put​(java.lang.String name, java.lang.String value)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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)