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