From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 3 Dec 2004 16:29:38 +0000 (+0000)
Subject: charWidth is now an int
X-Git-Tag: Release_2_0~866
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=135c5c88011e9c85f8e60fd43e7abd581bd2f7d0;p=jalview.git

charWidth is now an int
---

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index 3cd6685..02fb656 100755
--- 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;
 
 
-    int fullsizeWidth = (int)(av.getAlignment().getWidth()*av.getCharWidth());
-    int fullsizeHeight = av.getAlignment().getHeight()*av.getCharHeight();
+    int fullsizeWidth  = av.getAlignment().getWidth() * av.getCharWidth();
+    int fullsizeHeight = av.getAlignment().getHeight()* av.getCharHeight();
 
 
     BufferedImage fullSize = new BufferedImage(fullsizeWidth,