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

Packages that use jEdit.JEditPropertyManager

Package	Description
org.gjt.sp.jedit

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

Methods in org.gjt.sp.jedit that return jEdit.JEditPropertyManager

Modifier and Type	Method	Description
static jEdit.JEditPropertyManager	jEdit.getPropertyManager()