|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GutterPopupHandler | |
---|---|
org.gjt.sp.jedit.textarea | Since jEdit 4.2, many TextArea classes have been split into a base and derived class. |
Uses of GutterPopupHandler in org.gjt.sp.jedit.textarea |
---|
Methods in org.gjt.sp.jedit.textarea with parameters of type GutterPopupHandler | |
---|---|
void |
Gutter.setSelectionPopupHandler(GutterPopupHandler handler)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |