From e9dd76697f841c9704b9b4105a31266bf72211c6 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 29 Aug 2006 15:22:59 +0000
Subject: [PATCH] Additional repaint

---
 src/jalview/gui/AlignmentPanel.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 22cb9e3..ec5d956 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -472,6 +472,7 @@ public class AlignmentPanel extends GAlignmentPanel
             height));
 
         annotationPanel.repaint();
+        repaint();
       }
     });
   }
-- 
1.7.10.2