Uses of Interface
oracle.javatools.editor.gutter.GutterMark

Packages that use GutterMark

oracle.javatools.editor.gutter

The Line Gutter package is a subset of the Editor package, and contains API for working with a Gutter associated with an editor pane.

Uses of GutterMark in oracle.javatools.editor.gutter

Methods in oracle.javatools.editor.gutter that return GutterMark

GutterMark	LineGutterPlugin.addGutterMark(java.lang.String columnName, int line, javax.swing.Icon icon, HighlightStyle highlightStyle, GutterTrackingListener listener) Adds a new GutterMark to the specified column for the specified line.
GutterMark	Gutter.addGutterMark(java.lang.String columnName, int line, javax.swing.Icon icon, HighlightStyle highlightStyle, GutterTrackingListener listener) Adds a new GutterMark to the specified column for the specified line.

Methods in oracle.javatools.editor.gutter with parameters of type GutterMark

void	LineGutterPlugin.removeGutterMark(GutterMark mark) Removes the mark from the Gutter.
void	Gutter.removeGutterMark(GutterMark mark) Removes the mark from the Gutter.
void	GutterTrackingListener.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	GutterTrackingListener.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.