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. |
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 lineoldLine
- the old line number of the line that was movednewLine
- 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 linedeletedLine
- the line number of the line mark that was removed