From 3f5dff2f5af6ec5cedca0652ddb1e56c1785f3bc Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 4 May 2005 15:59:50 +0000
Subject: [PATCH] validate and repaint after changing panels

---
 src/jalview/appletgui/AlignmentPanel.java |    3 +++
 1 file changed, 3 insertions(+)

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();
 
   }
-- 
1.7.10.2