{\r
graphics = g;\r
fm = g.getFontMetrics();\r
- monospacedFont = fm.getStringBounds("M",g).getWidth()==fm.getStringBounds("|",g).getWidth();\r
+\r
+ // If EPS graphics, stringWidth will be a double, not an int\r
+ double dwidth = fm.getStringBounds("M", g).getWidth();\r
+\r
+ monospacedFont =\r
+ dwidth == fm.getStringBounds("|",g).getWidth()\r
+ && av.charWidth == (int)dwidth;\r
+\r
this.renderGaps = renderGaps;\r
}\r
\r