jalview.util.BrowserLauncher.openURL(\r
"http://srs.ebi.ac.uk/srs7bin/cgi-bin/wgetz?-e+[swall-id:" + id +\r
"]+-vn+2");\r
- }catch(Exception ex){ex.printStackTrace();}\r
+ }catch(Exception ex){System.err.println(\r
+ "Try adding the jalview.browser property to your jalview.properties file:\n"\r
+ +"jalview.browser=firefox"); ex.printStackTrace();}\r
}\r
\r
}\r
SequenceGroup selection = new SequenceGroup();\r
SequenceGroup sg = av.alignment.findGroup(av.alignment.getSequenceAt(seq));\r
selection.setStartRes(0);\r
- selection.setEndRes(av.alignment.getWidth());\r
+ selection.setEndRes(av.alignment.getWidth()-1);\r
for (int i =0; i< sg.getSize(); i++)\r
selection.addSequence(sg.getSequenceAt(i));\r
\r
selectSeq(seq);\r
\r
alignPanel.repaint();\r
- repaint();\r
}\r
\r
void selectSeq(int seq)\r
PaintRefresher.Refresh(this);\r
}\r
\r
+ public void highlightSearchResults( java.util.Vector 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
// this class allows scrolling off the bottom of the visible alignment\r
class ScrollThread\r
extends Thread\r