+ }\r
+\r
+\r
+ ArrayList idMatch = new ArrayList();\r
+ for(int id = 0; id<av.alignment.getHeight(); id++)\r
+ {\r
+ if( regex.search( av.alignment.getSequenceAt(id).getName() ) )\r
+ idMatch.add( av.alignment.getSequenceAt(id) );\r
+ }\r
+\r
+ if(searchResults.size()==0 && idMatch.size()>0)\r
+ ap.idPanel.highlightSearchResults( idMatch );\r
+\r