X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=c3ed1686be5bac42c8f4d3f6499e2edc8a9e764b;hb=b0af1c02bc91ec74e941dfc8220b52f591d5df1a;hp=382b33a44f43698f94483b70f5e53d75503e9df9;hpb=8fa2d1c4ad8c9621090d679deb17e776fd282e0c;p=jalview.git

diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java
index 382b33a..c3ed168 100755
--- a/src/jalview/jbgui/GFinder.java
+++ b/src/jalview/jbgui/GFinder.java
@@ -24,6 +24,7 @@ import javax.swing.*;
 import javax.swing.event.*;
 import jalview.io.FormatAdapter;
 import jalview.datamodel.SequenceI;
+import java.awt.BorderLayout;
 
 public class GFinder
     extends JPanel
@@ -41,8 +42,8 @@ public class GFinder
   JPanel jPanel3 = new JPanel();
   JPanel jPanel4 = new JPanel();
   BorderLayout borderLayout2 = new BorderLayout();
-  JPanel jPanel5 = new JPanel();
   JPanel jPanel6 = new JPanel();
+  protected JCheckBox caseSensitive = new JCheckBox();
   public GFinder()
   {
     try
@@ -88,7 +89,7 @@ public class GFinder
     createNewGroup.setFont(new java.awt.Font("Verdana", 0, 12));
     createNewGroup.setToolTipText("");
     createNewGroup.setMargin(new Insets(0, 0, 0, 0));
-    createNewGroup.setText("Create new group");
+    createNewGroup.setText("New Feature");
     createNewGroup.addActionListener(new java.awt.event.ActionListener()
     {
       public void actionPerformed(ActionEvent e)
@@ -117,6 +118,8 @@ public class GFinder
     jPanel4.setLayout(borderLayout2);
     jPanel2.setPreferredSize(new Dimension(10, 1));
     jPanel3.setPreferredSize(new Dimension(10, 1));
+    caseSensitive.setHorizontalAlignment(SwingConstants.LEFT);
+    caseSensitive.setText("Match Case");
     jPanel1.add(findNext, null);
     jPanel1.add(findAll, null);
     jPanel1.add(createNewGroup, null);
@@ -126,9 +129,9 @@ public class GFinder
     this.add(jPanel3, java.awt.BorderLayout.NORTH);
     this.add(jPanel4, java.awt.BorderLayout.CENTER);
     jPanel4.add(jScrollPane1, java.awt.BorderLayout.CENTER);
-    jPanel4.add(jPanel5, java.awt.BorderLayout.SOUTH);
-    jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH);
     jScrollPane1.getViewport().add(textfield);
+    jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH);
+    jPanel4.add(caseSensitive, java.awt.BorderLayout.SOUTH);
   }
 
   protected void findNext_actionPerformed(ActionEvent e)