X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdCanvas.java;h=a3eac2db2c22c0522ae9e64d50a328503e91c860;hb=2b2e4f5da97889b83c6f8b0fbe41f163feca7e82;hp=67bba3239cc1c30cae971b65b0c187caf8bd38ba;hpb=d053a3c980cf4318b9a19a255f9fc870e74de989;p=jalview.git diff --git a/src/jalview/appletgui/IdCanvas.java b/src/jalview/appletgui/IdCanvas.java index 67bba32..a3eac2d 100755 --- a/src/jalview/appletgui/IdCanvas.java +++ b/src/jalview/appletgui/IdCanvas.java @@ -18,6 +18,7 @@ package jalview.appletgui; import java.awt.*; +import java.util.List; import jalview.datamodel.*; @@ -39,7 +40,7 @@ public class IdCanvas extends Panel boolean fastPaint = false; - java.util.Vector searchResults; + List searchResults; public IdCanvas(AlignViewport av) { @@ -296,9 +297,9 @@ public class IdCanvas extends Panel } } - public void setHighlighted(java.util.Vector found) + public void setHighlighted(List list) { - searchResults = found; + searchResults = list; repaint(); }