ensure that all bits of annotation panel (slider, annotation labels) get updated

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 9c2cbdd..4e3db27 100755 (executable)
--- 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();
   }