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

Packages that use DisplayManager
org.gjt.sp.jedit.textarea Classes related to jEdit's TextArea. 
 

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

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