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

Packages that use DisplayManager
org.gjt.sp.jedit.textarea The classes in this package are in the process of being refactored, for jedit 4.3final. 
 

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

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