From: jprocter Date: Fri, 24 Jul 2009 15:26:54 +0000 (+0000) Subject: update annotation when group state is changed X-Git-Tag: Release_2_5~220 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=fdde6e8f6d212376e71bad84de7191a17d92b90d;p=jalview.git update annotation when group state is changed --- diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java index 1fb4a3b..d0cfc63 100755 --- a/src/jalview/gui/PopupMenu.java +++ b/src/jalview/gui/PopupMenu.java @@ -940,6 +940,7 @@ public class PopupMenu extends JPopupMenu */ void refresh() { + ap.updateAnnotation(); ap.paintAlignment(true); PaintRefresher.Refresh(this, ap.av.getSequenceSetId());