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.
|