From: jprocter <Jim Procter>
Date: Mon, 22 Mar 2010 17:17:06 +0000 (+0000)
Subject: ensure that all bits of annotation panel (slider, annotation labels) get updated
X-Git-Tag: Release_2_5~120
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6caac410b2015c2844ef8f21c65978736fcdbe98;p=jalview.git

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
--- 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();
   }