com.borland.primetime.editor
Interface GutterListener


public interface GutterListener
extends java.util.EventListener

The GutterListener interface is implemented by a client that wishes to listen for gutter events.

See Also:
SearchManager

Method Summary
 void lineClicked(Gutter source, int line, java.awt.event.MouseEvent e, LineMark[] marks)
          Invoked when the user clicked somewhere in the gutter.
 void linesChanged(Gutter source)
          Invoked whenever the number of lines in the document in this editor in this gutter
 

Method Detail

lineClicked

public void lineClicked(Gutter source,
                        int line,
                        java.awt.event.MouseEvent e,
                        LineMark[] marks)
Invoked when the user clicked somewhere in the gutter.
Parameters:
source - The gutter that fired this event.
line - The line on which the MouseEvent occurred.
e - The MouseEvent which triggered the this event. Listeners can query this event to determine things like click-count, mouse button state, and modifiers.
marks - An array of the existing marks on the line that was clicked. This will be an empty array if there are no existing marks on the line.

linesChanged

public void linesChanged(Gutter source)
Invoked whenever the number of lines in the document in this editor in this gutter