|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |