From fdde6e8f6d212376e71bad84de7191a17d92b90d Mon Sep 17 00:00:00 2001 From: jprocter Date: Fri, 24 Jul 2009 15:26:54 +0000 Subject: [PATCH] update annotation when group state is changed --- src/jalview/gui/PopupMenu.java | 1 + 1 file changed, 1 insertion(+) 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()); -- 1.7.10.2