Uses of Class
org.gjt.sp.jedit.jEdit.JEditPropertyManager
-
Packages that use jEdit.JEditPropertyManager Package Description org.gjt.sp.jedit This package contains jEdit 4's core classes. -
-
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()
-