From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 2 Apr 2007 13:57:55 +0000 (+0000)
Subject: Allow for scroll bar height
X-Git-Tag: Release_2_3~276
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=59337999169ff8987c3f8ffc4ae30ca8cf1e56aa;p=jalview.git

Allow for scroll bar height
---

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 399ffa4..7db8f01 100755
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -962,6 +962,7 @@ public class AlignFrame
             PaintRefresher.RemoveComponent(ap.seqPanel.seqCanvas);
             PaintRefresher.RemoveComponent(ap.idPanel.idCanvas);
             PaintRefresher.RemoveComponent(ap);
+            ap.av.alignment = null;
           }
         }
         else
@@ -972,6 +973,7 @@ public class AlignFrame
           PaintRefresher.RemoveComponent(alignPanel.seqPanel.seqCanvas);
           PaintRefresher.RemoveComponent(alignPanel.idPanel.idCanvas);
           PaintRefresher.RemoveComponent(alignPanel);
+          viewport.alignment = null;
           alignPanel = null;
           viewport = null;
 
diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 6cd18ba..62c0d09 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -108,6 +108,7 @@ public class AlignmentPanel
     });
 
     fontChanged();
+    adjustAnnotationHeight();
 
   }