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 | Method and Description |
---|---|
static GutterMark |
CodeEditorGutter.getMarkForContext(Context context)
Gets the line number from a context associated with the code editor gutter
context menu popping up.
|
Modifier and Type | Method and Description |
---|---|
static CodeEditorGutter |
CodeEditorGutter.getGutterFor(GutterMark mark)
Utility routine to fetch the
CodeEditorGutter instance
from the given mark. |
protected boolean |
CodeEditorGutter.CEColumn.isOptionSet(GutterMark gutterMark,
int optionFlag)
Check whether the given option is set on the mark.
|
protected java.awt.Rectangle |
CodeEditorGutter.paintRollover(java.awt.Graphics graphics,
GutterMark mark,
int iconX,
int columnWidth,
int rowY)
Utility routine to paint the rollover effect for the given
mark.
|
protected void |
CodeEditorGutter.processMousePressed(java.awt.event.MouseEvent event,
int line,
GutterMark mark)
Utility routine to handle firing a gutter click notification for the
given mouse event.
|
void |
CodeEditorGutter.showMarkDropdownMenu(ContextMenu contextMenu,
java.awt.event.MouseEvent event,
GutterMark mark,
int line)
Utility routine to show a context menu for a specific mark.
|
void |
CodeEditorGutter.showMarkDropdownMenu(java.awt.event.MouseEvent event,
GutterMark mark,
int line)
Utility routine to show the context menu for a specific mark.
|
Modifier and Type | Interface and Description |
---|---|
interface |
GutterColumn<M extends GutterMark>
The
GutterColumn interface describes the non-visual
container that is used for creating GutterMark
instances for displaying icons in a Gutter . |
Modifier and Type | Class and Description |
---|---|
class |
LineGutterPlugin.Column.Mark
This is our implementation of the GutterMark interface.
|
Modifier and Type | Field and Description |
---|---|
protected GutterMark |
LineGutterPlugin._mouseInMark
The mark that the mouse is highlighting (on).
|
Modifier and Type | Field and Description |
---|---|
protected static java.util.Comparator<GutterMark> |
LineGutterPlugin.MARK_COMPARATOR
Singleton comparator for marks.
|
Modifier and Type | Method and Description |
---|---|
GutterMark |
LineGutterPlugin.Column.addGutterMark(int line,
javax.swing.Icon icon,
HighlightStyle highlightStyle,
int markOrder,
int markOptions) |
GutterMark |
LineGutterPlugin.Column.addGutterMark(int line,
javax.swing.Icon icon,
HighlightStyle highlightStyle,
int markOrder,
int markOptions,
java.awt.Color overviewColor)
Adds a new
GutterMark to this column for the given
line. |
GutterMark |
LineGutterPlugin.getMarkAtLocation(int mouseY,
int mouseX)
Return the mark at the given location or null if there is no mark.
|
GutterMark[] |
LineGutterPlugin.Column.lookupGutterMarks(int line)
Fetch the
GutterMark instances contained within
this column for the specified line (if any). |
M[] |
GutterColumn.lookupGutterMarks(int line)
Fetch the
GutterMark instances contained within
this column for the specified line (if any). |
Modifier and Type | Method and Description |
---|---|
int |
LineGutterPlugin.MarkComparator.compare(GutterMark m1,
GutterMark m2) |
int |
LineGutterPlugin.MarkComparator.compare(GutterMark m1,
GutterMark m2) |
protected void |
LineGutterPlugin.Column.fireMarkClicked(java.awt.event.MouseEvent event,
GutterMark mark,
int line)
Utility routine to fire the click notification for the given
mark.
|
protected boolean |
LineGutterPlugin.Column.getMarkSupportsClicks(GutterMark gutterMark)
Fetch whether the specified
GutterMark supports click
behavior. |
java.lang.String |
GutterColumnListener.getMarkToolTip(GutterMark<E> mark,
java.awt.event.MouseEvent event)
Fetch the tooltip associated with the given
GutterMark . |
java.lang.String |
LineGutterPlugin.Column.getMarkToolTip(GutterMark mark,
java.awt.event.MouseEvent event)
Fetch the tooltip associated with the given
GutterMark . |
java.awt.Rectangle |
LineGutterPlugin.getRolloverRectFor(GutterMark markToFind)
Utility routine to fetch the paint rect for the given gutter mark.
|
void |
GutterColumnListener.markClicked(GutterMark<E> gutterMark,
int clickedLine,
java.awt.event.MouseEvent event)
Notification that the user clicked on the mark.
|
void |
GutterColumnListener.markMoved(GutterMark<E> gutterMark,
int oldLine,
int newLine)
Notification that the user modified the document in such a way as
to cause the line to move.
|
void |
GutterColumnListener.markRemoved(GutterMark<E> gutterMark,
int deletedLine)
Notification that the user modified the document in such a way
that a line for which a GutterMark was set was removed.
|
protected int |
LineGutterPlugin.markWidth(GutterMark mark)
Gets the width required by a gutter mark (excluding margins).
|
protected java.awt.Rectangle |
LineGutterPlugin.paintRollover(java.awt.Graphics graphics,
GutterMark mark,
int columnX,
int columnWidth,
int rowY)
Utility routine to paint the rollover effect for the given
mark.
|
protected void |
LineGutterPlugin.processMousePressed(java.awt.event.MouseEvent event,
int line,
GutterMark mark) |
void |
LineGutterPlugin.Column.removeGutterMark(GutterMark mark)
Removes the mark from this column.
|
void |
GutterColumn.removeGutterMark(GutterMark mark)
Removes the mark from this column.
|