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.
|
protected void |
CodeEditorGutter.showGutterContextMenu(java.awt.event.MouseEvent event, int line, GutterMark mark)
Utility routine to show the context menu for the clicked line.
|
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 | 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 |
GutterColumn.addGutterMark(int line, javax.swing.Icon icon, HighlightStyle highlightStyle, int markOrder, int markOptions)
Adds a new
GutterMark to this column for the given line. |
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 |
GutterColumn.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). |
GutterMark[] |
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.
|