From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 4 May 2005 15:59:50 +0000 (+0000)
Subject: validate and repaint after changing panels
X-Git-Tag: Release_2_0~324
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=3f5dff2f5af6ec5cedca0652ddb1e56c1785f3bc;p=jalview.git

validate and repaint after changing panels
---

diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java
index 2b101fd..ddfc432 100755
--- a/src/jalview/appletgui/AlignmentPanel.java
+++ b/src/jalview/appletgui/AlignmentPanel.java
@@ -217,6 +217,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
   {
     annotationSpaceFillerHolder.setVisible(b);
     annotationScroller.setVisible(b);
+    validate();
+    repaint();
   }
 
 
@@ -231,6 +233,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     annotationSpaceFillerHolder.setVisible(!wrap);
     idSpaceFillerPanel1.setVisible(!wrap);
 
+    validate();
     repaint();
 
   }