Package | Description |
---|---|
oracle.ide.ceditor |
The
Code Editor package contains the code editing
implementation of the JDeveloper IDE. |
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 | Class and Description |
---|---|
protected class |
CodeEditorGutter.CEColumn
Our
CEColumn class so that we can trap mark click
events. |
Modifier and Type | Method and Description |
---|---|
static CodeEditorGutter |
CodeEditorGutter.getGutterFor(GutterColumn column)
Utility routine to fetch the
CodeEditorGutter instance
from the given column. |
Modifier and Type | Class and Description |
---|---|
class |
LineGutterPlugin.Column
This is our implementation of the GutterColumn interface that
acts as a container for GutterMarks.
|
Modifier and Type | Method and Description |
---|---|
GutterColumn |
LineGutterPlugin.createGutterColumn(java.lang.String columnName,
GutterColumnListener listener)
Creates a new
GutterColumn that can contain
GutterMarks for displaying icons in the
Gutter . |
GutterColumn |
Gutter.createGutterColumn(java.lang.String columnName,
GutterColumnListener listener)
Creates a new
GutterColumn to contain GutterMarks
that display icons in the Gutter . |
GutterColumn |
LineGutterPlugin.Column.Mark.getGutterColumn()
Fetches the
GutterColumn that this mark was created in |
GutterColumn |
GutterMark.getGutterColumn()
Fetches the
GutterColumn that this mark was created in |
GutterColumn |
LineGutterPlugin.lookupGutterColumn(java.lang.String columnName)
Fetches the gutter column by name.
|
GutterColumn |
Gutter.lookupGutterColumn(java.lang.String columnName)
Fetches the gutter column by name.
|
Modifier and Type | Method and Description |
---|---|
void |
LineGutterPlugin.removeGutterColumn(GutterColumn column)
Removes an existing column from the Gutter and all of its marks
and icons.
|
void |
Gutter.removeGutterColumn(GutterColumn column)
Removes an existing column from the Gutter and all of its marks
and icons.
|
protected int |
LineGutterPlugin.reservedColumnWidth(GutterColumn column)
Gets the width to be reserved for a column, or 0 if none.
|