Package | Description |
---|---|
org.gjt.sp.jedit.textarea |
Classes related to jEdit's TextArea.
|
Modifier and Type | Method and Description |
---|---|
GutterPopupHandler |
Gutter.getSelectionPopupHandler() |
Modifier and Type | Method and Description |
---|---|
void |
Gutter.setSelectionPopupHandler(GutterPopupHandler handler) |