|
Eclipse Platform Release 3.2 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.jface.text.MarginPainter
public class MarginPainter
Paints a vertical line (margin line) after a given column respecting the text viewer's font.
Clients usually instantiate and configure objects of this class.
This class is not intended to be subclassed.
| Field Summary |
|---|
| Fields inherited from interface org.eclipse.jface.text.IPainter |
|---|
CONFIGURATION, INTERNAL, KEY_STROKE, MOUSE_BUTTON, SELECTION, TEXT_CHANGE |
| Constructor Summary | |
|---|---|
MarginPainter(ITextViewer textViewer)
Creates a new painter for the given text viewer. |
|
| Method Summary | |
|---|---|
void |
deactivate(boolean redraw)
Deactivates this painter. |
void |
dispose()
Disposes this painter. |
void |
initialize()
Initializes this painter, by flushing and recomputing all caches and causing the widget to be redrawn. |
void |
paint(int reason)
Requests this painter to repaint because of the given reason. |
void |
paintControl(PaintEvent e)
Sent when a paint event occurs for the control. |
void |
setMarginRulerColor(Color color)
Sets the color of the margin line. |
void |
setMarginRulerColumn(int width)
Sets the column after which to draw the margin line. |
void |
setMarginRulerStyle(int lineStyle)
Sets the line style of the margin line. |
void |
setMarginRulerWidth(int lineWidth)
Sets the line width of the margin line. |
void |
setPositionManager(IPaintPositionManager manager)
Sets the paint position manager that can be used by this painter or removes any previously set paint position manager. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public MarginPainter(ITextViewer textViewer)
textViewer - the text viewer| Method Detail |
|---|
public void setMarginRulerColumn(int width)
width - the columnpublic void setMarginRulerStyle(int lineStyle)
lineStyle - a SWT style constant describing the line stylepublic void setMarginRulerWidth(int lineWidth)
lineWidth - the line widthpublic void setMarginRulerColor(Color color)
paint is called the first time.
color - the colorpublic void initialize()
public void deactivate(boolean redraw)
IPainterredraw indicates whether the painter
should remove any decoration it previously applied. A deactivated painter
can be reactivated by calling paint.
deactivate in interface IPainterredraw - true if any previously applied decoration
should be removedIPainter.paint(int)public void dispose()
IPainter
dispose in interface IPainterIPainter.deactivate(boolean)public void paint(int reason)
IPainter
paint in interface IPainterreason - the repaint reason, value is one of the constants defined
in this interfacepublic void paintControl(PaintEvent e)
PaintListener
paintControl in interface PaintListenere - an event containing information about the paintpublic void setPositionManager(IPaintPositionManager manager)
IPainter
setPositionManager in interface IPaintermanager - the paint position manager or null
|
Eclipse Platform Release 3.2 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.