package jalview.appletgui;
import java.awt.*;
+import java.util.List;
import jalview.datamodel.*;
boolean fastPaint = false;
- java.util.Vector searchResults;
+ List<SequenceI> searchResults;
public IdCanvas(AlignViewport av)
{
}
}
- public void setHighlighted(java.util.Vector found)
+ public void setHighlighted(List<SequenceI> list)
{
- searchResults = found;
+ searchResults = list;
repaint();
}