*/
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;
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;
if (doFindAll)
{
finder.findAll(searchString, isCaseSensitive, doSearchDescription,
- false);
+ false, false);
}
else
{
finder.findNext(searchString, isCaseSensitive, doSearchDescription,
- false);
+ false, false);
}
searchResults = finder.getSearchResults();
{
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)