X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=fa972159176f69ca45c0bdf0c33944c0c06cf991;hb=b81d4d7d46ea8b1c89df086fb847baab6b69d427;hp=9d1cae4dba22f16dff4ea3866b0a3a84e958011a;hpb=4908abbb92332aba961012da6841a3e70383c291;p=jalview.git

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index 9d1cae4..fa97215 100755
--- a/src/jalview/gui/IdPanel.java
+++ b/src/jalview/gui/IdPanel.java
@@ -19,6 +19,7 @@ package jalview.gui;
 
 import java.awt.*;
 import java.awt.event.*;
+import java.util.List;
 import java.util.Vector;
 
 import javax.swing.*;
@@ -429,19 +430,19 @@ public class IdPanel extends JPanel implements MouseListener,
   /**
    * DOCUMENT ME!
    * 
-   * @param found
+   * @param list
    *          DOCUMENT ME!
    */
-  public void highlightSearchResults(java.util.Vector found)
+  public void highlightSearchResults(List<SequenceI> list)
   {
-    idCanvas.setHighlighted(found);
+    idCanvas.setHighlighted(list);
 
-    if (found == null)
+    if (list == null)
     {
       return;
     }
 
-    int index = av.getAlignment().findIndex((SequenceI) found.get(0));
+    int index = av.getAlignment().findIndex((SequenceI) list.get(0));
 
     // do we need to scroll the panel?
     if ((av.getStartSeq() > index) || (av.getEndSeq() < index))