From f333a271f26f2f930bf24cb3daeb5d18d02a6cb8 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 1 Dec 2004 17:41:30 +0000
Subject: [PATCH] Search menu added

---
 src/jalview/jbgui/GAlignFrame.java |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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