X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;fp=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=0516533063f4a4e8a4958e5cdca6ebf91cbab13f;hb=8c6722b27ff92e3610376295e2b4363f942d9969;hp=5a2c5ef4d5d2bf9101b6c380c57918e49aef53d9;hpb=bb8129c04f80504354b02b0876538ba680e11529;p=jalview.git

diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java
index 5a2c5ef..0516533 100644
--- a/src/jalview/appletgui/AlignmentPanel.java
+++ b/src/jalview/appletgui/AlignmentPanel.java
@@ -983,7 +983,11 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
   {
     invalidate();
     Dimension d = idPanel.idCanvas.getSize();
-    idPanel.idCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height);
+    final int canvasHeight = seqPanel.seqCanvas.getSize().height;
+    if (canvasHeight != d.height)
+    {
+      idPanel.idCanvas.setSize(d.width, canvasHeight);
+    }
 
     if (av.getWrapAlignment())
     {