JAL-4061 JAL-4062 button in Find dialog to copy highlighted regions to clipboard

[jalview.git] / src / jalview / appletgui / Finder.java

diff --git a/src/jalview/appletgui/Finder.java b/src/jalview/appletgui/Finder.java
index a78e41c..167d899 100644 (file)
--- a/src/jalview/appletgui/Finder.java
+++ b/src/jalview/appletgui/Finder.java
@@ -20,14 +20,6 @@
  */
 package jalview.appletgui;
 
-import jalview.api.AlignViewportI;
-import jalview.api.FinderI;
-import jalview.datamodel.SearchResultMatchI;
-import jalview.datamodel.SearchResultsI;
-import jalview.datamodel.SequenceFeature;
-import jalview.datamodel.SequenceI;
-import jalview.util.MessageManager;
-
 import java.awt.Button;
 import java.awt.Checkbox;
 import java.awt.Font;
@@ -47,6 +39,14 @@ import java.util.HashMap;
 import java.util.List;
 import java.util.Map;
 
+import jalview.api.AlignViewportI;
+import jalview.api.FinderI;
+import jalview.datamodel.SearchResultMatchI;
+import jalview.datamodel.SearchResultsI;
+import jalview.datamodel.SequenceFeature;
+import jalview.datamodel.SequenceI;
+import jalview.util.MessageManager;
+
 public class Finder extends Panel implements ActionListener
 {
   private AlignViewportI av;
@@ -172,12 +172,12 @@ public class Finder extends Panel implements ActionListener
     if (doFindAll)
     {
       finder.findAll(searchString, isCaseSensitive, doSearchDescription,
-              false);
+              false, false);
     }
     else
     {
       finder.findNext(searchString, isCaseSensitive, doSearchDescription,
-              false);
+              false, false);
     }
 
     searchResults = finder.getSearchResults();
@@ -208,7 +208,8 @@ public class Finder extends Panel implements ActionListener
     {
       if (doFindAll)
       {
-        String message = (idMatches.size() > 0) ? "" + idMatches.size() + " IDs"
+        String message = (idMatches.size() > 0)
+                ? "" + idMatches.size() + " IDs"
                 : "";
         if (idMatches.size() > 0 && searchResults != null
                 && searchResults.getCount() > 0)