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