Extension SDK 9.0.5

oracle.javatools.editor.gutter
Interface GutterTrackingListener

All Superinterfaces:
java.util.EventListener

public interface GutterTrackingListener
extends java.util.EventListener

The GutterTrackingListener interface should be implemented by clients interested in receiving notification events for tracking GutterMarks. A GutterMark may be moved when the user adds or removes text from a prior line B before line A that GutterMark is tracking so that line A shifts upwards or downwards as a result. A GutterMark may be removed when the user removes the line that a GutterMark is tracking. Tracking GutterMarks are defined as tracking the beginning of the line.

See Also:
Gutter, GutterMark

Method Summary
 void markMoved(GutterMark gutterMark, int oldLine, int newLine)
          Notify listeners that user modified the document in such a way as to cause the line to move.
 void markRemoved(GutterMark gutterMark, int deletedLine)
          Notify listeners that the user modified the document in such a way that a line for which a GutterMark was set was removed.
 

Method Detail

markMoved

public void markMoved(GutterMark gutterMark,
                      int oldLine,
                      int newLine)
Notify listeners that user modified the document in such a way as to cause the line to move.

Parameters:
gutterMark - the line mark that is tracking the given line
oldLine - the old line number of the line that was moved
newLine - the new line number of the line that was moved

markRemoved

public void markRemoved(GutterMark gutterMark,
                        int deletedLine)
Notify listeners that the user modified the document in such a way that a line for which a GutterMark was set was removed.

Parameters:
gutterMark - the line mark that is tracking the given line
deletedLine - the line number of the line mark that was removed

Extension SDK

 

Copyright © 1997, 2004, Oracle. All rights reserved.