From 4e842e62451b0c2001740216fbeb2f68b01f6da8 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 28 Jul 2006 16:06:10 +0000 Subject: [PATCH] Resize image if id width changes --- src/jalview/gui/IdCanvas.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java index 7734f9a..30152cc 100755 --- a/src/jalview/gui/IdCanvas.java +++ b/src/jalview/gui/IdCanvas.java @@ -183,7 +183,7 @@ public class IdCanvas extends JPanel return; } - if(oldHeight!=imgHeight) + if(oldHeight!=imgHeight || image.getWidth(this)!=getWidth()) { image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB); -- 1.7.10.2