From 52fd681e0f239e20df19fd7560d4b999104ba222 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 1 May 2006 14:29:21 +0000 Subject: [PATCH] Remove edit menu if no group defined --- src/jalview/appletgui/APopupMenu.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/jalview/appletgui/APopupMenu.java b/src/jalview/appletgui/APopupMenu.java index 6393f74..ebf27bb 100755 --- a/src/jalview/appletgui/APopupMenu.java +++ b/src/jalview/appletgui/APopupMenu.java @@ -90,6 +90,7 @@ public class APopupMenu else { remove(groupMenu); + remove(editMenu); } if (!ap.av.alignment.getGroups().contains(sg)) -- 1.7.10.2