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