Additional repaint

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