Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
org.gjt.sp.jedit.jEdit.JEditPropertyManager

Packages that use jEdit.JEditPropertyManager
org.gjt.sp.jedit | This package contains jEdit's core classes.

Uses of jEdit.JEditPropertyManager in org.gjt.sp.jedit

Methods in org.gjt.sp.jedit that return jEdit.JEditPropertyManager
`static jEdit.JEditPropertyManager` | `jEdit.getPropertyManager()`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES