+ int size = pos==-1?0:3;\r
+\r
+ if(highlightRes!=null)\r
+ size += highlightRes.size()*3;\r
+\r
+ int [] array = new int[size];\r
+ int i=0;\r
+ if(highlightRes!=null)\r
+ {\r
+ for (i = 0; i < highlightRes.size(); i++)\r
+ {\r
+ int a = Integer.parseInt(highlightRes.elementAt(\r
+ i).toString())+1;\r
+ array[i * 3] = index;\r
+ array[ (i * 3) + 1] = a;\r
+ array[ (i * 3) + 2] = a;\r
+ }\r
+ }\r
+\r
+ if(pos!=-1)\r
+ {\r
+ array[i * 3] = index;\r
+ array[i * 3 + 1] = pos+1;\r
+ array[i * 3 + 2] = pos+1;\r
+ }\r
+\r
+ seqcanvas.highlightSearchResults(array);\r