Monospaced font not allowed if charWidth stretched

[jalview.git] / src / jalview / gui / SequenceRenderer.java

diff --git a/src/jalview/gui/SequenceRenderer.java b/src/jalview/gui/SequenceRenderer.java
index 02ea4b5..a8a9a47 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
+               && av.charWidth == (int)dwidth;\r
+\r
         this.renderGaps = renderGaps;\r
     }\r
 \r