validate and repaint after changing panels
authoramwaterhouse <Andrew Waterhouse>
Wed, 4 May 2005 15:59:50 +0000 (15:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 4 May 2005 15:59:50 +0000 (15:59 +0000)
src/jalview/appletgui/AlignmentPanel.java

index 2b101fd..ddfc432 100755 (executable)
@@ -217,6 +217,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
   {\r
     annotationSpaceFillerHolder.setVisible(b);\r
     annotationScroller.setVisible(b);\r
+    validate();\r
+    repaint();\r
   }\r
 \r
 \r
@@ -231,6 +233,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     annotationSpaceFillerHolder.setVisible(!wrap);\r
     idSpaceFillerPanel1.setVisible(!wrap);\r
 \r
+    validate();\r
     repaint();\r
 \r
   }\r