If no group, hide menu
authoramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 13:22:38 +0000 (13:22 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 13:22:38 +0000 (13:22 +0000)
src/jalview/appletgui/APopupMenu.java

index 1d5eace..6393f74 100755 (executable)
@@ -80,12 +80,17 @@ public class APopupMenu
     }\r
 \r
     SequenceGroup sg = ap.av.getSelectionGroup();\r
-    if (sg != null)\r
+\r
+    if (sg != null && sg.getSize()>0)\r
     {\r
       showText.setState(sg.getDisplayText());\r
       showColourText.setState(sg.getColourText());\r
       showBoxes.setState(sg.getDisplayBoxes());\r
     }\r
+    else\r
+    {\r
+      remove(groupMenu);\r
+    }\r
 \r
     if (!ap.av.alignment.getGroups().contains(sg))\r
     {\r