Uses of Class org.gjt.sp.jedit.jEdit.JEditPropertyManager (jEdit API Documentation)

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