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

Packages that use DisplayManager

Package	Description
org.gjt.sp.jedit.textarea

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

Methods in org.gjt.sp.jedit.textarea that return DisplayManager

Modifier and Type	Method	Description
DisplayManager	TextArea.getDisplayManager()