Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD