GutterIconInfo |
Gutter.addLineTrackingIcon(int line,
javax.swing.Icon icon) |
Adds an icon that tracks an offset in the document, and is displayed
adjacent to the line numbers.
|
GutterIconInfo |
Gutter.addLineTrackingIcon(int line,
javax.swing.Icon icon,
java.lang.String tip) |
Adds an icon that tracks an offset in the document, and is displayed
adjacent to the line numbers.
|
GutterIconInfo |
Gutter.addOffsetTrackingIcon(int offs,
javax.swing.Icon icon) |
Adds an icon that tracks an offset in the document, and is displayed
adjacent to the line numbers.
|
GutterIconInfo |
Gutter.addOffsetTrackingIcon(int offs,
javax.swing.Icon icon,
java.lang.String tip) |
Adds an icon that tracks an offset in the document, and is displayed
adjacent to the line numbers.
|
GutterIconInfo |
IconRowHeader.addOffsetTrackingIcon(int offs,
javax.swing.Icon icon) |
Adds an icon that tracks an offset in the document, and is displayed
adjacent to the line numbers.
|
GutterIconInfo |
IconRowHeader.addOffsetTrackingIcon(int offs,
javax.swing.Icon icon,
java.lang.String tip) |
Adds an icon that tracks an offset in the document, and is displayed
adjacent to the line numbers.
|
GutterIconInfo[] |
Gutter.getBookmarks() |
Returns the bookmarks known to this gutter.
|
GutterIconInfo[] |
IconRowHeader.getBookmarks() |
Returns the bookmarks known to this gutter.
|
GutterIconInfo[] |
Gutter.getTrackingIcons(java.awt.Point p) |
Returns the tracking icons at the specified view position.
|
GutterIconInfo[] |
IconRowHeader.getTrackingIcons(int line) |
Returns the tracking icons at the specified line.
|