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