EPS font width is a double, check this for monospacedFont

diff --git a/src/jalview/gui/SequenceRenderer.java b/src/jalview/gui/SequenceRenderer.java
index 02ea4b5..f41a0b9 100755 (executable)
--- a/src/jalview/gui/SequenceRenderer.java
+++ b/src/jalview/gui/SequenceRenderer.java
@@ -61,7 +61,14 @@ public class SequenceRenderer
     {\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
+               && dwidth == (int)dwidth;\r
+\r
         this.renderGaps = renderGaps;\r
     }\r
 \r