corrections for find when edit takes place

[jalview.git] / src / jalview / gui / IdPanel.java

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index fcf8e92..0b5d956 100755 (executable)
--- a/src/jalview/gui/IdPanel.java
+++ b/src/jalview/gui/IdPanel.java
@@ -176,7 +176,7 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene
     PaintRefresher.Refresh(this);\r
   }\r
 \r
-  public void highlightSearchResults( java.util.ArrayList found )\r
+  public void highlightSearchResults( java.util.Vector found )\r
   {\r
     idCanvas.setHighlighted( found );\r
 \r