charWidth is now an int

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index 3cd6685..02fb656 100755 (executable)
--- a/src/jalview/gui/OverviewPanel.java
+++ b/src/jalview/gui/OverviewPanel.java
@@ -125,8 +125,8 @@ public class OverviewPanel extends JPanel
    sequencesHeight=this.getHeight()-graphHeight;\r
 \r
 \r
-    int fullsizeWidth = (int)(av.getAlignment().getWidth()*av.getCharWidth());\r
-    int fullsizeHeight = av.getAlignment().getHeight()*av.getCharHeight();\r
+    int fullsizeWidth  = av.getAlignment().getWidth() * av.getCharWidth();\r
+    int fullsizeHeight = av.getAlignment().getHeight()* av.getCharHeight();\r
 \r
 \r
     BufferedImage fullSize = new BufferedImage(fullsizeWidth,\r