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