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