de.hillenbrand.jedi
Class JediPrefs
java.lang.Object
|
+--de.hillenbrand.jedi.JediPrefs
- public final class JediPrefs
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JediPrefs
public JediPrefs()
getDataDirectory
public static java.io.File getDataDirectory()
getHelpBrowser
public static HelpBrowser getHelpBrowser()
getHelpDirectory
public static java.lang.String getHelpDirectory()
getHomeDirectory
public static java.lang.String getHomeDirectory()
getPluginDirectory
public static java.lang.String getPluginDirectory()
getProperty
public static java.lang.String getProperty(java.lang.String name)
getProperty
public static java.lang.String getProperty(java.lang.String name,
java.lang.String defaultValue)
getRootDirectory
public static java.lang.String getRootDirectory()
getSaveDirectory
public static java.lang.String getSaveDirectory()
getTmpDirectory
public static java.lang.String getTmpDirectory()
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)