Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
org.gjt.sp.jedit.textarea.DisplayManager

Packages that use DisplayManager
org.gjt.sp.jedit.textarea | Since jEdit 4.2, many TextArea classes have been split into a base and derived class.

Uses of DisplayManager in org.gjt.sp.jedit.textarea

Methods in org.gjt.sp.jedit.textarea that return DisplayManager
`DisplayManager` | `TextArea.getDisplayManager()`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES