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