|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |