Package | Description |
---|---|
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. |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<LineGutterPlugin.Column.Mark> |
LineGutterPlugin.Column._marksList
The list of marks for this column.
|
protected static java.util.List<LineGutterPlugin.Column.Mark> |
LineGutterPlugin._scratchList
The scratch list we use for painting, calculating, and so on.
|
Modifier and Type | Method and Description |
---|---|
protected static java.util.List<LineGutterPlugin.Column.Mark> |
LineGutterPlugin.allocateScratchList()
Utility routine to get a shared scratch list.
|
Modifier and Type | Method and Description |
---|---|
protected static void |
LineGutterPlugin.freeScratchList(java.util.List<LineGutterPlugin.Column.Mark> listToFree)
Utility routine to free the shared scratch list.
|
protected void |
LineGutterPlugin.Column.getAllMarks(java.util.Collection<LineGutterPlugin.Column.Mark> collection)
Fetch all the marks in this column, adding it to the specified collection.
|
protected void |
LineGutterPlugin.Column.getMarks(java.util.Collection<LineGutterPlugin.Column.Mark> collection, int line)
Fetch all the marks in this column that are on the given line, adding it to the specified collection.
|
void |
LineGutterPlugin.getMarksOnLine(java.util.Collection<LineGutterPlugin.Column.Mark> collection, int line)
Utility routine to get all of the marks for a given line, sorting them by mark order.
|