|
||||||||||
| 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 | |||||||||