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

diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java
index c0b5d0e..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
@@ -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)