X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FFinder.java;h=4c195e819766edd3d3ed781a2c00bb68c9b3a21b;hb=2e699d341f8e64868e3c279f9c02af617c4e9b44;hp=1201278d8fc45dc0d75924eed64c3de7a9ee5f93;hpb=d89379656a71c970b3eb44d22ae2d12ca588ed70;p=jalview.git

diff --git a/src/jalview/appletgui/Finder.java b/src/jalview/appletgui/Finder.java
index 1201278..4c195e8 100755
--- a/src/jalview/appletgui/Finder.java
+++ b/src/jalview/appletgui/Finder.java
@@ -1,6 +1,6 @@
 /*
  * Jalview - A Sequence Alignment Editor and Viewer
- * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
+ * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
@@ -25,6 +25,7 @@ import java.awt.*;
 import java.awt.event.*;
 
 import jalview.datamodel.*;
+import java.awt.Rectangle;
 
 public class Finder extends Panel implements ActionListener
 {
@@ -85,6 +86,7 @@ public class Finder extends Panel implements ActionListener
   {
 
     CutAndPasteTransfer cap = new CutAndPasteTransfer(true, null);
+    cap.ok.setLabel("Accept");
     Dialog dialog = new Dialog(ap.alignFrame, "Enter New Feature Name", true);
     dialog.add(cap);
 
@@ -122,9 +124,16 @@ public class Finder extends Panel implements ActionListener
 
   void doSearch(boolean findAll)
   {
+    if(jalview.bin.JalviewLite.currentAlignFrame!=null)
+    {
+      ap = jalview.bin.JalviewLite.currentAlignFrame.alignPanel;
+      av = ap.av;
+    }
     createNewGroup.setEnabled(false);
 
-    String searchString = textfield.getText().toUpperCase();
+    String searchString = textfield.getText();
+    if(!caseSensitive.getState())
+      searchString = searchString.toUpperCase();
 
     com.stevesoft.pat.Regex regex = new com.stevesoft.pat.Regex(searchString);
 
@@ -140,7 +149,7 @@ public class Finder extends Panel implements ActionListener
       int res = Integer.parseInt(searchString);
       found = true;
 
-      if (av.getSelectionGroup() == null || av.getSelectionGroup().getSize() < 1)
+      if (av.getSelectionGroup() == null || av.getSelectionGroup().getSize(false) < 1)
       {
         seq = (Sequence) av.getAlignment().getSequenceAt(0);
       }
@@ -163,7 +172,7 @@ public class Finder extends Panel implements ActionListener
     SequenceGroup selection = av.getSelectionGroup();
     if (selection != null)
     {
-      if (selection.getSize() < 1 ||
+      if (selection.getSize(false) < 1 ||
           (selection.getEndRes() - selection.getStartRes() < 2))
       {
         selection = null;
@@ -175,14 +184,16 @@ public class Finder extends Panel implements ActionListener
 
       seq = (Sequence) av.alignment.getSequenceAt(seqIndex);
 
-      if (selection != null && !selection.sequences.contains(seq))
+      if (selection != null && !selection.getSequences(false).contains(seq))
       {
         seqIndex++;
         resIndex = 0;
         continue;
       }
 
-      item = seq.getSequence().toUpperCase();
+      item = seq.getSequenceAsString();
+      if(!caseSensitive.getState())
+        item = item.toUpperCase();
 
       if (selection != null && selection.getEndRes() < av.alignment.getWidth())
       {
@@ -297,7 +308,7 @@ public class Finder extends Panel implements ActionListener
   Panel jPanel1 = new Panel();
   GridLayout gridLayout1 = new GridLayout();
   protected Button createNewGroup = new Button();
-
+  Checkbox caseSensitive = new Checkbox();
 
   private void jbInit() throws Exception {
       jLabel1.setFont(new java.awt.Font("Verdana", 0, 12));
@@ -329,10 +340,13 @@ public class Finder extends Panel implements ActionListener
       createNewGroup.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
       createNewGroup.setLabel("New Feature");
       createNewGroup.addActionListener(this);
-      jPanel1.add(findNext, null);
+    caseSensitive.setLabel("Match Case");
+    caseSensitive.setBounds(new Rectangle(40, 49, 126, 23));
+    jPanel1.add(findNext, null);
       jPanel1.add(findAll, null);
       jPanel1.add(createNewGroup, null);
-      this.add(textfield, null);
+    this.add(caseSensitive);
+    this.add(textfield, null);
       this.add(jLabel1, null);
       this.add(jPanel1, null);
   }