package net.sourceforge.phpeclipse.phpeditor; /* * (c) Copyright IBM Corp. 2000, 2001. * All Rights Reserved. */ import org.eclipse.jface.text.source.ISourceViewer; import org.eclipse.swt.SWT; import org.eclipse.swt.custom.StyledText; import org.eclipse.swt.events.PaintEvent; import org.eclipse.swt.events.PaintListener; import org.eclipse.swt.graphics.Color; import org.eclipse.swt.graphics.GC; import org.eclipse.swt.graphics.Rectangle; public class PrintMarginPainter implements IPainter, PaintListener { private StyledText fTextWidget; private int fMarginWidth= 80; private Color fColor; private int fLineStyle= SWT.LINE_SOLID; private int fLineWidth= 1; private int fCachedWidgetX= -1; private boolean fIsActive= false; public PrintMarginPainter(ISourceViewer sourceViewer) { fTextWidget= sourceViewer.getTextWidget(); } public void setMarginRulerColumn(int width) { fMarginWidth= width; intialize(); } public void setMarginRulerStyle(int lineStyle) { fLineStyle= lineStyle; } public void setMarginRulerWidth(int lineWidth) { fLineWidth= lineWidth; } /** * Must be called before paint is called the first time. */ public void setMarginRulerColor(Color color) { fColor= color; } /** * Must be called explicitly when font of text widget changes. */ public void intialize() { computeWidgetX(); fTextWidget.redraw(); } private void computeWidgetX() { GC gc= new GC(fTextWidget); int pixels= gc.getFontMetrics().getAverageCharWidth(); gc.dispose(); fCachedWidgetX= pixels * fMarginWidth; } /* * @see IPainter#deactivate(boolean) */ public void deactivate(boolean redraw) { if (fIsActive) { fIsActive= false; fTextWidget.removePaintListener(this); if (redraw) fTextWidget.redraw(); } } /* * @see IPainter#dispose() */ public void dispose() { fTextWidget= null; } /* * @see IPainter#paint(int) */ public void paint(int reason) { if (!fIsActive) { fIsActive= true; fTextWidget.addPaintListener(this); if (fCachedWidgetX == -1) computeWidgetX(); fTextWidget.redraw(); } } /* * @see IPainter#setPositionManager(IPositionManager) */ public void setPositionManager(IPositionManager manager) { } /* * @see PaintListener#paintControl(PaintEvent) */ public void paintControl(PaintEvent e) { if (fTextWidget != null) { int x= fCachedWidgetX - fTextWidget.getHorizontalPixel(); if (x >= 0) { Rectangle area= fTextWidget.getClientArea(); e.gc.setForeground(fColor); e.gc.setLineStyle(fLineStyle); e.gc.setLineWidth(fLineWidth); e.gc.drawLine(x, 0, x, area.height); } } } }