+ public void highlightSearchResults( java.util.ArrayList found )\r
+ {\r
+ idCanvas.setHighlighted( found );\r
+\r
+ if(found == null)\r
+ return;\r
+\r
+ int index = av.alignment.findIndex( (SequenceI)found.get(0));\r
+\r
+ // do we need to scroll the panel?\r
+ if(av.getStartSeq()>index || av.getEndSeq()<index)\r
+ alignPanel.setScrollValues( av.getStartRes(), index);\r
+ }\r
+\r