jedi.prefs
Class JediPrefs

java.lang.Object
  |
  +--jedi.prefs.JediPrefs

public final class JediPrefs
extends java.lang.Object


Constructor Summary
JediPrefs()
           
 
Method Summary
static HelpBrowser getHelpBrowser()
           
static java.lang.String getProperty(java.lang.String name)
           
static void putDefaultProperty(java.lang.String name, java.lang.String data)
           
static void putProperty(java.lang.String name, java.lang.String data)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JediPrefs

public JediPrefs()
Method Detail

getHelpBrowser

public static HelpBrowser getHelpBrowser()

getProperty

public static java.lang.String getProperty(java.lang.String name)

putDefaultProperty

public static void putDefaultProperty(java.lang.String name,
                                      java.lang.String data)

putProperty

public static void putProperty(java.lang.String name,
                               java.lang.String data)