public interface GutterClickListener
extends java.util.EventListener
GutterClickListener
interface can be implemented by clients interested in receiving a notification event for clicks in the Gutter that are not associated with a given GutterMark
. If a user clicks on a specific GutterMark
, the GutterColumn
containing the mark will be notified instead through the GutterColumnListener
.
In order to avoid undefined behavior, Only a single (default) click listener can be registered to respond to clicks in the Gutter which are not associated with specific marks. This is not enforced programmatically however.
Gutter
, GutterColumn
, GutterColumnListener
Modifier and Type | Method and Description |
---|---|
void |
lineClicked(Gutter gutter, int clickedLine, java.awt.event.MouseEvent event)
Notify listeners that the user clicked in the gutter in the given line.
|
void lineClicked(Gutter gutter, int clickedLine, java.awt.event.MouseEvent event)
gutter
- the Gutter that was clickedclickedLine
- the line that was clickedevent
- the mouse event associated with the click