Search menu added
authoramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:41:30 +0000 (17:41 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:41:30 +0000 (17:41 +0000)
src/jalview/jbgui/GAlignFrame.java

index 18df6ce..cbed306 100755 (executable)
@@ -85,6 +85,7 @@ public class GAlignFrame extends JInternalFrame
   JMenuItem printMenuItem = new JMenuItem();\r
   protected JCheckBoxMenuItem renderGapsMenuItem = new JCheckBoxMenuItem();\r
   JMenuItem findMenuItem = new JMenuItem();\r
+  JMenu searchMenu = new JMenu();\r
   public GAlignFrame()\r
   {\r
     try\r
@@ -645,8 +646,10 @@ public class GAlignFrame extends JInternalFrame
         findMenuItem_actionPerformed(e);\r
       }\r
     });\r
+    searchMenu.setText("Search");\r
     alignFrameMenuBar.add(fileMenu);\r
     alignFrameMenuBar.add(editMenu);\r
+    alignFrameMenuBar.add(searchMenu);\r
     alignFrameMenuBar.add(fontMenu);\r
     alignFrameMenuBar.add(viewMenu);\r
     alignFrameMenuBar.add(colourMenu);\r
@@ -680,7 +683,7 @@ public class GAlignFrame extends JInternalFrame
     editMenu.add(removeAllGapsMenuItem);\r
     editMenu.add(setGapCharMenuItem);\r
     editMenu.addSeparator();\r
-    editMenu.add(findMenuItem);\r
+    searchMenu.add(findMenuItem);\r
     fontMenu.add(fontNameMenuItem);\r
     fontMenu.add(fontSizeMenuItem);\r
     fontMenu.add(fontStyleMenuItem);\r