corrections for find when edit takes place

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

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index 048fb37..882ed7a 100755 (executable)
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -19,7 +19,7 @@ public class IdCanvas extends JPanel
   int imgHeight=0;\r
   boolean fastPaint = false;\r
 \r
-  java.util.ArrayList searchResults;\r
+  java.util.Vector searchResults;\r
 \r
   public IdCanvas(AlignViewport av)\r
   {\r
@@ -193,7 +193,7 @@ public class IdCanvas extends JPanel
 \r
   }\r
 \r
-  public void setHighlighted(java.util.ArrayList found)\r
+  public void setHighlighted(java.util.Vector found)\r
   {\r
     searchResults = found;\r
     repaint();\r