|
Extension SDK 10.1.2 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
Extension SDK | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Copyright © 1997, 2004, Oracle. All rights reserved.