From 135c5c88011e9c85f8e60fd43e7abd581bd2f7d0 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 3 Dec 2004 16:29:38 +0000 Subject: [PATCH] charWidth is now an int --- src/jalview/gui/OverviewPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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, -- 1.7.10.2