From 97e6cff14711046ec8bb2f6900fc6d8f315259ae Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 29 Jun 2011 17:54:37 +0100 Subject: [PATCH] repaint image buffer resize when panel height changes (JAL-564) --- src/jalview/appletgui/AnnotationPanel.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/appletgui/AnnotationPanel.java b/src/jalview/appletgui/AnnotationPanel.java index fedf796..e959c5f 100755 --- a/src/jalview/appletgui/AnnotationPanel.java +++ b/src/jalview/appletgui/AnnotationPanel.java @@ -532,7 +532,7 @@ public class AnnotationPanel extends Panel implements AdjustmentListener, { return; } - if (image == null || imgWidth != image.getWidth(this)) + if (image == null || imgWidth != image.getWidth(this) || d.height != image.getHeight(this)) { image = createImage(imgWidth, d.height); gg = image.getGraphics(); -- 1.7.10.2