Package | Description |
---|---|
oracle.javatools.editor.gutter |
The Line Gutter package is a subset of the Editor package, and
contains API for working with a
Gutter associated with an
editor pane. |
Modifier and Type | Method and Description |
---|---|
void |
LineGutterPlugin.addGutterClickListener(GutterClickListener listener)
Registers a
GutterClickListener to receive
notifications of mouse clicks in this Gutter component. |
void |
Gutter.addGutterClickListener(GutterClickListener listener)
Registers a
GutterClickListener to receive
notifications of mouse clicks in this Gutter component. |
void |
LineGutterPlugin.removeGutterClickListener(GutterClickListener listener)
Deregisters a previously-registered
GutterClickListener
so that it no longer receives notifications of mouse clicks in this
Gutter component. |
void |
Gutter.removeGutterClickListener(GutterClickListener listener)
Deregisters a previously-registered
GutterClickListener
so that it no longer receives notifications of mouse clicks in this
Gutter component. |