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