|
Extension SDK 10.1.2 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Gutter | |
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. |
oracle.jdeveloper.ceditor | The Code Editor package contains the code editing
implementation of the JDeveloper IDE. |
Uses of Gutter in oracle.javatools.editor.gutter |
Classes in oracle.javatools.editor.gutter that implement Gutter | |
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. |
Methods in oracle.javatools.editor.gutter that return Gutter | |
Gutter |
GutterMark.getGutter()
Fetches the Gutter that this mark has been created in. |
Methods in oracle.javatools.editor.gutter with parameters of type Gutter | |
void |
GutterClickListener.lineClicked(Gutter gutter,
int clickedLine)
Notify listeners that the user clicked in the gutter in the given line. |
Uses of Gutter in oracle.jdeveloper.ceditor |
Subinterfaces of Gutter in oracle.jdeveloper.ceditor | |
interface |
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. |
|
Extension SDK | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Copyright © 1997, 2004, Oracle. All rights reserved.