Change name to editMenu
authoramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 14:28:32 +0000 (14:28 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 14:28:32 +0000 (14:28 +0000)
src/jalview/gui/PopupMenu.java

index 968262b..55aea5e 100755 (executable)
@@ -68,7 +68,7 @@ public class PopupMenu extends JPopupMenu
     JCheckBoxMenuItem showBoxes = new JCheckBoxMenuItem();\r
     JCheckBoxMenuItem showText = new JCheckBoxMenuItem();\r
     JCheckBoxMenuItem showColourText = new JCheckBoxMenuItem();\r
-  JMenu jMenu1 = new JMenu();\r
+  JMenu editMenu = new JMenu();\r
   JMenuItem cut = new JMenuItem();\r
   JMenuItem copy = new JMenuItem();\r
   JMenuItem upperCase = new JMenuItem();\r
@@ -233,7 +233,10 @@ public class PopupMenu extends JPopupMenu
             showBoxes.setSelected(sg.getDisplayBoxes());\r
         }\r
         else\r
+        {\r
           groupMenu.setVisible(false);\r
+          editMenu.setVisible(false);\r
+        }\r
 \r
         if (!ap.av.alignment.getGroups().contains(sg))\r
         {\r
@@ -362,7 +365,7 @@ public class PopupMenu extends JPopupMenu
                     showColourText_actionPerformed(e);\r
                 }\r
             });\r
-    jMenu1.setText("Edit");\r
+    editMenu.setText("Edit");\r
     cut.setText("Cut");\r
     cut.addActionListener(new ActionListener()\r
     {\r
@@ -397,7 +400,7 @@ public class PopupMenu extends JPopupMenu
     });\r
     add(groupMenu);\r
         add(sequenceMenu);\r
-    this.add(jMenu1);\r
+    this.add(editMenu);\r
     groupMenu.add(groupName);\r
         groupMenu.addSeparator();\r
         groupMenu.add(unGroupMenuItem);\r
@@ -447,10 +450,10 @@ public class PopupMenu extends JPopupMenu
         colourMenu.addSeparator();\r
         colourMenu.add(abovePIDColour);\r
         colourMenu.add(conservationMenuItem);\r
-    jMenu1.add(copy);\r
-    jMenu1.add(cut);\r
-    jMenu1.add(upperCase);\r
-    jMenu1.add(lowerCase);\r
+    editMenu.add(copy);\r
+    editMenu.add(cut);\r
+    editMenu.add(upperCase);\r
+    editMenu.add(lowerCase);\r
     noColourmenuItem.setText("None");\r
         noColourmenuItem.addActionListener(new java.awt.event.ActionListener()\r
             {\r