repaint image buffer resize when panel height changes (JAL-564)

diff --git a/src/jalview/appletgui/AnnotationPanel.java b/src/jalview/appletgui/AnnotationPanel.java
index fedf796..e959c5f 100755 (executable)
--- 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();