From 6caac410b2015c2844ef8f21c65978736fcdbe98 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Mon, 22 Mar 2010 17:17:06 +0000
Subject: [PATCH] ensure that all bits of annotation panel (slider, annotation
 labels) get updated

---
 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 9c2cbdd..4e3db27 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -400,6 +400,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
     annotationSpaceFillerHolder.setPreferredSize(new Dimension(
             annotationSpaceFillerHolder.getWidth(), height));
     annotationScroller.validate();// repaint();
+    addNotify();
     repaint();
   }
 
-- 
1.7.10.2