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 |
---|---|
class |
CodeEditorGutter
The
CodeEditorGutter interface is an extension of
the editor's Gutter interface to integrate with
the JDev environment and provide Context information
for other Addins. |
Modifier and Type | Class and Description |
---|---|
class |
LineGutterPlugin
The
LineGutterPlugin is a line gutter which also
implements the Gutter interface that provides clients with
the ability to add or remove icon marks in the gutter associated
with an editor pane. |
Modifier and Type | Method and Description |
---|---|
Gutter |
LineGutterPlugin.Column.getGutter()
Fetch the
Gutter instance that this column is
associated with. |
Gutter |
LineGutterPlugin.Column.Mark.getGutter()
Fetches the Gutter that this mark has been created in.
|
Gutter |
GutterMark.getGutter()
Fetches the Gutter that this mark has been created in.
|
Gutter |
GutterColumn.getGutter()
Fetch the
Gutter instance that this column is
associated with. |
Modifier and Type | Method and Description |
---|---|
void |
GutterClickListener.lineClicked(Gutter gutter,
int clickedLine,
java.awt.event.MouseEvent event)
Notify listeners that the user clicked in the gutter in the given
line.
|