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

Packages that use jEdit.JEditPropertyManager
Package
Description
This package contains jEdit 4's core classes.