diff options
| -rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/MarginPainter.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/MarginPainter.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/MarginPainter.java index ad666cbc053..6c7f5dbf208 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/MarginPainter.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/MarginPainter.java @@ -115,10 +115,10 @@ public class MarginPainter implements IPainter, PaintListener { private void computeWidgetX() { GC gc= new GC(fTextWidget); fFontForCachedWidgetX= fTextWidget.getFont(); - int pixels= gc.getFontMetrics().getAverageCharWidth(); + double pixels= gc.getFontMetrics().getAverageCharacterWidth(); gc.dispose(); - fCachedWidgetX= pixels * fMarginWidth; + fCachedWidgetX= (int) (pixels * fMarginWidth + 0.5); } @Override |