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