update annotation when group state is changed
authorjprocter <Jim Procter>
Fri, 24 Jul 2009 15:26:54 +0000 (15:26 +0000)
committerjprocter <Jim Procter>
Fri, 24 Jul 2009 15:26:54 +0000 (15:26 +0000)
src/jalview/gui/PopupMenu.java

index 1fb4a3b..d0cfc63 100755 (executable)
@@ -940,6 +940,7 @@ public class PopupMenu extends JPopupMenu
    */
   void refresh()
   {
+    ap.updateAnnotation();
     ap.paintAlignment(true);
 
     PaintRefresher.Refresh(this, ap.av.getSequenceSetId());