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