|
Oracle Fusion Middleware Java API Reference for Oracle Extension SDK Reference 11g Release 1 (11.1.1.6.0) E13403-07 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.awt.Component java.awt.Container javax.swing.JComponent oracle.javatools.editor.gutter.LineGutterPlugin
public 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. Refer to the Gutter
interface
for more details about its use.
Note that this Gutter implementation is not currently defined to handle the case where the document for the editor is changed after the line gutter has been installed. Unpredictable results WILL happen in such cases.
This gutter implementation does not support the display of a single shared icon column.
Gutter
,
Serialized FormNested Class Summary | |
---|---|
class |
LineGutterPlugin.Column
This is our implementation of the GutterColumn interface that acts as a container for GutterMarks. |
protected static class |
LineGutterPlugin.MarkComparator
Comparator for our marks, ordering them by line, then by mark order. |
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
javax.swing.JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Container |
---|
java.awt.Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
Field Summary | |
---|---|
protected boolean |
_mouseInGutter
Whether the mouse is in the gutter or not. |
protected GutterMark |
_mouseInMark
The mark that the mouse is highlighting (on). |
protected static java.util.List<LineGutterPlugin.Column.Mark> |
_scratchList
The scratch list we use for painting, calculating, and so on. |
protected int |
_showLineNumberFlag
The current value of the show line number policy. |
protected static java.util.Comparator<GutterMark> |
MARK_COMPARATOR
Singleton comparator for marks. |
static int |
SHOW_LINE_NUMBERS_ALWAYS
Constant indicating that line numbers should always be visible, regardless of the editor/global property for show line numbers. |
static int |
SHOW_LINE_NUMBERS_DEFAULT
Constant indicating that this line gutter instance will just follow the editor/global property for show line numbers. |
static int |
SHOW_LINE_NUMBERS_NEVER
Constant indicating that line numbers should never be visible, regardless of the editor/global property for show line numbers. |
Fields inherited from class javax.swing.JComponent |
---|
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW |
Fields inherited from class java.awt.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface oracle.javatools.buffer.TextBufferListener |
---|
EOL_TYPE_ATTRIBUTE, MODIFIED_ATTRIBUTE, READ_ONLY_ATTRIBUTE, RELOAD_END_ATTRIBUTE, RELOAD_START_ATTRIBUTE |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
LineGutterPlugin()
Constructs a new LineGutterPlugin . |
Method Summary | |
---|---|
void |
addGutterClickListener(GutterClickListener listener)
Registers a GutterClickListener to receive
notifications of mouse clicks in this Gutter component. |
protected static java.util.List<LineGutterPlugin.Column.Mark> |
allocateScratchList()
Utility routine to get a shared scratch list. |
protected boolean |
allowDragging()
Utility routine to check whether click-dragging is enabled for making a selection in the editor. |
void |
attributeUpdate(TextBuffer buffer,
int attribute)
Provides notification regarding a change to one of the buffer attributes. |
protected java.awt.Rectangle |
calculateRolloverBounds(java.awt.Rectangle bounds,
int columnX,
int columnWidth,
int rowY)
|
void |
changedUpdate(javax.swing.event.DocumentEvent event)
Gives notification that an attribute or set of attributes changed. |
void |
componentHidden(java.awt.event.ComponentEvent event)
Invoked when the component has been made invisible. |
void |
componentMoved(java.awt.event.ComponentEvent event)
Invoked when the component's position changes. |
void |
componentResized(java.awt.event.ComponentEvent event)
Invoked when the component's size changes. |
void |
componentShown(java.awt.event.ComponentEvent event)
Invoked when the component has been made visible. |
GutterColumn |
createGutterColumn(java.lang.String columnName,
GutterColumnListener listener)
Creates a new GutterColumn that can contain
GutterMarks for displaying icons in the
Gutter . |
protected LineGutterPlugin.Column |
createGutterColumnImpl(java.lang.String columnName,
GutterColumnListener listener)
Creates the Column instance only. |
void |
deinstall(BasicEditorPane editor)
Called when the plugin is being removed from the BasicEditorPane (for example when the editor is closed.) This is used to notify plugins that they should unregister any listeners that were attached. |
protected void |
deinstallDocument(BasicDocument document)
Utility routine which takes care of stopping the tracking on the given document. |
protected void |
discardAllMarks()
Utility routine to toss all the marks that are in our list and notify our listeners of their removal. |
protected static void |
freeScratchList(java.util.List<LineGutterPlugin.Column.Mark> listToFree)
Utility routine to free the shared scratch list. |
protected int |
getClosestRowFromCoordinate(int y)
Private utility routine to calculate the closest row to a y-offset for purposes of painting. |
BasicEditorPane |
getEditor()
|
protected int |
getLeftPadding()
Utility routine to calculate how much padding on the left we have where we shouldn't paint. |
protected int |
getLineFromRow(int row)
Fetch the first line that occurs on this row. |
GutterMark |
getMarkAtLocation(int mouseY,
int mouseX)
Return the mark at the given location or null if there is no mark. |
void |
getMarksOnLine(java.util.Collection<LineGutterPlugin.Column.Mark> collection,
int line)
Utility routine to get all of the marks for a given line, sorting them by mark order. |
java.awt.Dimension |
getPreferredSize()
Gets the preferred size of the gutter, computing it if needed. |
java.awt.Rectangle |
getRolloverRectFor(GutterMark markToFind)
Utility routine to fetch the paint rect for the given gutter mark. |
protected int |
getRowCount()
Get the count of rows in the editor. |
protected int |
getRowFromCoordinate(int y)
Private utility routine to calculate the row from a point. |
protected int |
getRowFromLine(int line)
Fetch the row that this line occurs on. |
java.lang.String |
getToolTipText()
Returns the tooltip string that has been set with setToolTipText(). |
java.lang.String |
getToolTipText(java.awt.event.MouseEvent event)
Returns the string to be used as the tooltip for event. |
protected int |
getTopPadding()
Utility routine to calculate how much padding on top we have where we shouldn't paint. |
protected static void |
incrementNumber(char[] number)
Utility routine which, given a char array containing the string representation of a number, will increment the number by one. |
void |
insertUpdate(javax.swing.event.DocumentEvent event)
Gives notification that there was an insert into the document. |
void |
insertUpdate(TextBuffer buffer,
int offset,
int count,
char[] insertedData)
Provides notification about an insertion into the text buffer. |
void |
install(BasicEditorPane editor)
Called when this plugin is being installed into the BasicEditorPane. |
protected void |
installDocument(BasicDocument document)
Utility routine which takes care of starting to track the given document. |
GutterColumn |
lookupGutterColumn(java.lang.String columnName)
Fetches the gutter column by name. |
protected int |
markWidth(GutterMark mark)
Gets the width required by a gutter mark (excluding margins). |
void |
mouseClicked(java.awt.event.MouseEvent event)
Invoked when the mouse has been clicked on a component. |
void |
mouseDragged(java.awt.event.MouseEvent event)
Invoked when a mouse button is pressed on a component and then dragged. |
void |
mouseEntered(java.awt.event.MouseEvent event)
Invoked when the mouse enters a component. |
void |
mouseExited(java.awt.event.MouseEvent event)
Invoked when the mouse exits a component. |
void |
mouseMoved(java.awt.event.MouseEvent event)
Invoked when the mouse button has been moved on a component (with no buttons no down). |
void |
mousePressed(java.awt.event.MouseEvent event)
Invoked when a mouse button has been pressed on a component. |
void |
mouseReleased(java.awt.event.MouseEvent event)
Invoked when a mouse button has been released on a component. |
protected static int |
numDigits(char[] number)
Utility routine to compute the number of digits in the specified number. |
static int |
numDigits(int number)
Utility routine to compute the number of digits in the specified number. |
void |
paint(java.awt.Graphics graphics)
Paint the component. |
protected java.awt.Rectangle |
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 |
processMousePressed(java.awt.event.MouseEvent event)
|
protected void |
processMousePressed(java.awt.event.MouseEvent event,
int line,
GutterMark mark)
|
void |
propertyChange(java.beans.PropertyChangeEvent event)
This method gets called when a bound property is changed. |
protected int |
recalculateColumnWidths()
Utility routine for recalculating the width of all the gutter columns, taking into account width requirements. |
protected int |
recalculateLineWidths()
Private utility routine for recalculating the width of the gutter necessary to display the line numbers in the gutter. |
void |
removeAllGutterColumns()
Removes all existing columns from the Gutter. |
void |
removeGutterClickListener(GutterClickListener listener)
Deregisters a previously-registered GutterClickListener
so that it no longer receives notifications of mouse clicks in this
Gutter component. |
void |
removeGutterColumn(GutterColumn column)
Removes an existing column from the Gutter and all of its marks and icons. |
void |
removeUpdate(javax.swing.event.DocumentEvent event)
Gives notification that a portion of the document has been removed. |
void |
removeUpdate(TextBuffer buffer,
int offset,
int count,
char[] removedData)
Provides notification about a removal from the text buffer. |
protected void |
repaintLine(int line)
Utility routine to invalidate a single line for repainting. |
protected void |
repaintLine(int line,
int extraPixels)
Utility routine to invalidate a line for repainting plus several extra pixels above and below the line. |
protected int |
reservedColumnWidth(GutterColumn column)
Gets the width to be reserved for a column, or 0 if none. |
void |
revalidate()
|
void |
setLocation(int location)
Set the location of this gutter with respect to the editor. |
protected static void |
setNumber(char[] buffer,
int n)
Utility routine which, given a char array and a n, will convert the n into a char[] representation, and set it into the provided array, left-padding with spaces to fit the width properly. |
void |
setShowLineNumbers(int showFlag)
Sets the "show line numbers" policy of this line gutter directly. |
protected void |
setUI(javax.swing.plaf.ComponentUI newUI)
Sets the look and feel delegate for this component. |
java.lang.String |
toString()
|
protected void |
updateAllMarkHighlights()
Utility routine to update all of the highlights for all of the marks for the gutter. |
protected void |
updateColors()
Private utility routine to update our background/foreground and border colors. |
protected void |
updateMetrics()
Utility routine to update the font and metric information used for repainting this component. |
protected void |
updateMouseInMark(java.awt.event.MouseEvent event)
Utility routine to update our information about the mark that the mouse is currently on. |
protected void |
updateShowLineNumbers()
Utility routine which will update the current value of the showLineNumbers setting based on the showLineNumberFlag & editor/global property values. |
Methods inherited from class javax.swing.JComponent |
---|
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getAccessibleContext, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getTopLevelAncestor, getTransferHandler, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, paramString, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update, updateUI |
Methods inherited from class java.awt.Container |
---|
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree |
Methods inherited from class java.awt.Component |
---|
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, transferFocus, transferFocusUpCycle |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int SHOW_LINE_NUMBERS_ALWAYS
public static final int SHOW_LINE_NUMBERS_NEVER
public static final int SHOW_LINE_NUMBERS_DEFAULT
protected int _showLineNumberFlag
protected static java.util.List<LineGutterPlugin.Column.Mark> _scratchList
protected boolean _mouseInGutter
protected GutterMark _mouseInMark
protected static final java.util.Comparator<GutterMark> MARK_COMPARATOR
Constructor Detail |
---|
public LineGutterPlugin()
LineGutterPlugin
.
Method Detail |
---|
public void install(BasicEditorPane editor)
install
in interface EditorPlugin
editor
- the editor paneprotected void installDocument(BasicDocument document)
document
- the document to trackpublic void deinstall(BasicEditorPane editor)
deinstall
in interface EditorPlugin
editor
- the editor paneprotected void deinstallDocument(BasicDocument document)
document
- the document to stop trackingpublic java.lang.String getToolTipText()
getToolTipText
in class javax.swing.JComponent
public java.lang.String getToolTipText(java.awt.event.MouseEvent event)
getToolTipText
in class javax.swing.JComponent
protected void updateShowLineNumbers()
public void setShowLineNumbers(int showFlag)
showFlag
- the show line numbers policy for this line gutterpublic void setLocation(int location)
public void propertyChange(java.beans.PropertyChangeEvent event)
propertyChange
in interface java.beans.PropertyChangeListener
event
- A PropertyChangeEvent object describing the event source
and the property that has changed.protected void discardAllMarks()
protected static java.util.List<LineGutterPlugin.Column.Mark> allocateScratchList()
protected static void freeScratchList(java.util.List<LineGutterPlugin.Column.Mark> listToFree)
listToFree
- the list to freeprotected void setUI(javax.swing.plaf.ComponentUI newUI)
setUI
in class javax.swing.JComponent
newUI
- the component ui to setpublic void getMarksOnLine(java.util.Collection<LineGutterPlugin.Column.Mark> collection, int line)
protected void updateColors()
protected void updateMetrics()
public void revalidate()
revalidate
in class javax.swing.JComponent
public java.awt.Dimension getPreferredSize()
getPreferredSize
in class javax.swing.JComponent
protected void repaintLine(int line, int extraPixels)
protected void repaintLine(int line)
line
- the line to invalidate (and repaint), 1-basedpublic void paint(java.awt.Graphics graphics)
paint
in class javax.swing.JComponent
graphics
- the graphics context to draw topublic java.awt.Rectangle getRolloverRectFor(GutterMark markToFind)
markToFind
- the mark to get the rollover rectangle for
protected java.awt.Rectangle calculateRolloverBounds(java.awt.Rectangle bounds, int columnX, int columnWidth, int rowY)
protected int markWidth(GutterMark mark)
protected int reservedColumnWidth(GutterColumn column)
protected java.awt.Rectangle paintRollover(java.awt.Graphics graphics, GutterMark mark, int columnX, int columnWidth, int rowY)
graphics
- the graphics instancemark
- the mark that should get the rollover effectcolumnX
- the x location where the icon was paintedrowY
- the y location of the top of the row
protected static void setNumber(char[] buffer, int n)
buffer
- the char array to store the result inn
- the integer to get the representation ofprotected static void incrementNumber(char[] number)
number
- the char array to store the result inprotected static int numDigits(char[] number)
number
- the number to calculate the number of digits for
protected int recalculateLineWidths()
protected int getRowCount()
protected int getLineFromRow(int row)
row
- the row to get the line for
protected int getRowFromLine(int line)
line
- the line (1-based) to get the row for
protected int getRowFromCoordinate(int y)
y
- the y-coordinate to translate
protected int getClosestRowFromCoordinate(int y)
y
- the y-coordinate to translate
protected int getTopPadding()
protected int getLeftPadding()
public static int numDigits(int number)
number
- the number to calculate the number of digits for
public void componentResized(java.awt.event.ComponentEvent event)
componentResized
in interface java.awt.event.ComponentListener
public void componentMoved(java.awt.event.ComponentEvent event)
componentMoved
in interface java.awt.event.ComponentListener
public void componentShown(java.awt.event.ComponentEvent event)
componentShown
in interface java.awt.event.ComponentListener
public void componentHidden(java.awt.event.ComponentEvent event)
componentHidden
in interface java.awt.event.ComponentListener
public void insertUpdate(javax.swing.event.DocumentEvent event)
insertUpdate
in interface javax.swing.event.DocumentListener
event
- the document eventpublic void removeUpdate(javax.swing.event.DocumentEvent event)
removeUpdate
in interface javax.swing.event.DocumentListener
event
- the document eventpublic void changedUpdate(javax.swing.event.DocumentEvent event)
changedUpdate
in interface javax.swing.event.DocumentListener
event
- the document eventpublic void insertUpdate(TextBuffer buffer, int offset, int count, char[] insertedData)
insertUpdate
in interface TextBufferListener
buffer
- offset
- the offset where the insert took placecount
- the number of characters inserted (insertedData.length)insertedData
- the contents of the insertionpublic void removeUpdate(TextBuffer buffer, int offset, int count, char[] removedData)
removeUpdate
in interface TextBufferListener
buffer
- offset
- the offset where the removal took placecount
- the number of characters removed (removedData.length)removedData
- the contents of the removalpublic void attributeUpdate(TextBuffer buffer, int attribute)
attributeUpdate
in interface TextBufferListener
buffer
- attribute
- the attribute that changedpublic void mouseDragged(java.awt.event.MouseEvent event)
mouseDragged
in interface java.awt.event.MouseMotionListener
event
- the mouse eventpublic void mouseMoved(java.awt.event.MouseEvent event)
mouseMoved
in interface java.awt.event.MouseMotionListener
event
- the mouse eventprotected boolean allowDragging()
public void mouseClicked(java.awt.event.MouseEvent event)
mouseClicked
in interface java.awt.event.MouseListener
public void mousePressed(java.awt.event.MouseEvent event)
mousePressed
in interface java.awt.event.MouseListener
public void mouseReleased(java.awt.event.MouseEvent event)
mouseReleased
in interface java.awt.event.MouseListener
public void mouseEntered(java.awt.event.MouseEvent event)
mouseEntered
in interface java.awt.event.MouseListener
public void mouseExited(java.awt.event.MouseEvent event)
mouseExited
in interface java.awt.event.MouseListener
protected void updateMouseInMark(java.awt.event.MouseEvent event)
event
- the mouse eventpublic BasicEditorPane getEditor()
public GutterMark getMarkAtLocation(int mouseY, int mouseX)
protected void processMousePressed(java.awt.event.MouseEvent event)
protected void processMousePressed(java.awt.event.MouseEvent event, int line, GutterMark mark)
public GutterColumn createGutterColumn(java.lang.String columnName, GutterColumnListener listener)
GutterColumn
that can contain
GutterMarks
for displaying icons in the
Gutter
. Note that this is a non-visual container
only. The specified listener will be used to provide
notifications of mark events.
createGutterColumn
in interface Gutter
columnName
- the name of the column, used only for lookup
or debugging purposeslistener
- the notification listener to use
protected LineGutterPlugin.Column createGutterColumnImpl(java.lang.String columnName, GutterColumnListener listener)
public GutterColumn lookupGutterColumn(java.lang.String columnName)
lookupGutterColumn
in interface Gutter
columnName
- the name of the column
public void removeGutterColumn(GutterColumn column)
removeGutterColumn
in interface Gutter
column
- the column to removepublic void removeAllGutterColumns()
removeAllGutterColumns
in interface Gutter
protected void updateAllMarkHighlights()
protected int recalculateColumnWidths()
public void addGutterClickListener(GutterClickListener listener)
GutterClickListener
to receive
notifications of mouse clicks in this Gutter component.
addGutterClickListener
in interface Gutter
listener
- the listener to registerpublic void removeGutterClickListener(GutterClickListener listener)
GutterClickListener
so that it no longer receives notifications of mouse clicks in this
Gutter component.
removeGutterClickListener
in interface Gutter
listener
- the listener to registerpublic java.lang.String toString()
toString
in class java.awt.Component
|
Oracle Fusion Middleware Java API Reference for Oracle Extension SDK Reference 11g Release 1 (11.1.1.6.0) E13403-07 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |