com.borland.primetime.editor
Class GutterMark
java.lang.Object
|
+--com.borland.primetime.editor.LineMark
|
+--com.borland.primetime.editor.GutterMark
- Direct Known Subclasses:
- BookmarkManager.EditorMark
- public class GutterMark
- extends LineMark
A GutterMark is a special type of LineMark which appears as an Icon in the
gutter region of a TextView. Like a LineMark, a GutterMark can also be
constructed as a lightweight mark.
- See Also:
LineMark
,
Gutter
Constructor Summary |
GutterMark(boolean lightweight,
javax.swing.Icon icon)
Create a new GutterMark with the specified icon. |
GutterMark(boolean lightweight,
javax.swing.Icon icon,
javax.swing.text.Style style)
Create a new GutterMark with the specified icon and style. |
GutterMark(javax.swing.Icon icon)
Create a new "heavyweight" GutterMark with the specified icon. |
GutterMark(javax.swing.Icon icon,
javax.swing.text.Style style)
Create a new "heavyweight" GutterMark with the specified icon and style. |
Method Summary |
javax.swing.Icon |
getIcon()
Return the icon for this mark. |
void |
setIcon(javax.swing.Icon icon)
Set a new icon for this mark |
Methods inherited from class com.borland.primetime.editor.LineMark |
addEditor, displayInEditor, getDisplayPriority, getDocument, getMarkLine, getStyle, isLightweight, removeEditor, removeEditor, removeEditor, setDisplayPriority, setDocument, setStyle |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GutterMark
public GutterMark(javax.swing.Icon icon)
- Create a new "heavyweight" GutterMark with the specified icon.
- Parameters:
icon
- The icon to use when the mark is displayed in the gutter.
GutterMark
public GutterMark(boolean lightweight,
javax.swing.Icon icon)
- Create a new GutterMark with the specified icon.
- Parameters:
lightweight
- True if this is to be a lightweight mark.icon
- The icon to use when the mark is displayed in the gutter.
GutterMark
public GutterMark(javax.swing.Icon icon,
javax.swing.text.Style style)
- Create a new "heavyweight" GutterMark with the specified icon and style.
- Parameters:
icon
- The icon to use when the mark is displayed in the gutter.style
- The style to use whem painting a line with this mark.
GutterMark
public GutterMark(boolean lightweight,
javax.swing.Icon icon,
javax.swing.text.Style style)
- Create a new GutterMark with the specified icon and style.
- Parameters:
lightweight
- True if this is to be a lightweight mark.icon
- The icon to use when the mark is displayed in the gutter.style
- The style to use whem painting a line with this mark.
getIcon
public javax.swing.Icon getIcon()
- Return the icon for this mark.
setIcon
public void setIcon(javax.swing.Icon icon)
- Set a new icon for this mark