|
Eclipse Platform 2.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.eclipse.jface.text.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.
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 viewerMethod 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)
IPainter
redraw
indicates whether the painter should remove
any decoration it previously applied. A deactivated painter can be reactivated by calling
paint
.deactivate
in interface IPainter
org.eclipse.jface.text.IPainter
redraw
- true
if any previously applied decoration should be removedIPainter.paint(int)
public void dispose()
IPainter
dispose
in interface IPainter
org.eclipse.jface.text.IPainter
IPainter.deactivate(boolean)
public void paint(int reason)
IPainter
paint
in interface IPainter
org.eclipse.jface.text.IPainter
reason
- the repaint reason, value is one of the constants defined in this interfacepublic void paintControl(PaintEvent e)
PaintListener
paintControl
in interface PaintListener
org.eclipse.swt.events.PaintListener
e
- an event containing information about the paintpublic void setPositionManager(IPaintPositionManager manager)
IPainter
setPositionManager
in interface IPainter
org.eclipse.jface.text.IPainter
manager
- the paint position manager or null
|
Eclipse Platform 2.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |