|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GutterPopupHandler | |
---|---|
org.gjt.sp.jedit.textarea | Classes related to jEdit's TextArea. |
Uses of GutterPopupHandler in org.gjt.sp.jedit.textarea |
---|
Methods in org.gjt.sp.jedit.textarea that return GutterPopupHandler | |
---|---|
GutterPopupHandler |
Gutter.getSelectionPopupHandler()
|
Methods in org.gjt.sp.jedit.textarea with parameters of type GutterPopupHandler | |
---|---|
void |
Gutter.setSelectionPopupHandler(GutterPopupHandler handler)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |