X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=5db5e2e97ddafb9850dab16236862b62f13c6169;hb=fe5db5e87fc726b1560d21f97f19b0e04963b72c;hp=8903ce3f7d3dcf55c3dd8bed87a57ae58ea52bb9;hpb=e74b22a8fe7beaaa54bb46c452cbb57766e90bbd;p=jalview.git

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index 8903ce3..5db5e2e 100755
--- a/src/jalview/gui/IdPanel.java
+++ b/src/jalview/gui/IdPanel.java
@@ -68,7 +68,9 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene
          jalview.util.BrowserLauncher.openURL(
              "http://srs.ebi.ac.uk/srs7bin/cgi-bin/wgetz?-e+[swall-id:" + id +
              "]+-vn+2");
-       }catch(Exception ex){ex.printStackTrace();}
+       }catch(Exception ex){System.err.println(
+           "Try adding the jalview.browser property to your jalview.properties file:\n"
+                            +"jalview.browser=firefox"); ex.printStackTrace();}
     }
 
   }
@@ -121,7 +123,7 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene
       SequenceGroup selection = new SequenceGroup();
       SequenceGroup sg = av.alignment.findGroup(av.alignment.getSequenceAt(seq));
       selection.setStartRes(0);
-      selection.setEndRes(av.alignment.getWidth());
+      selection.setEndRes(av.alignment.getWidth()-1);
       for (int i =0; i< sg.getSize(); i++)
         selection.addSequence(sg.getSequenceAt(i));
 
@@ -140,9 +142,7 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene
     else
       selectSeq(seq);
 
-    alignPanel.seqPanel.seqCanvas.paintFlag=true;
     alignPanel.repaint();
-    repaint();
   }
 
   void selectSeq(int seq)
@@ -178,6 +178,20 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene
     PaintRefresher.Refresh(this);
   }
 
+  public void highlightSearchResults( java.util.Vector found )
+  {
+    idCanvas.setHighlighted( found );
+
+    if(found == null)
+      return;
+
+    int index = av.alignment.findIndex( (SequenceI)found.get(0));
+
+    // do we need to scroll the panel?
+    if(av.getStartSeq()>index || av.getEndSeq()<index)
+        alignPanel.setScrollValues( av.getStartRes(), index);
+  }
+
   // this class allows scrolling off the bottom of the visible alignment
   class ScrollThread
       extends Thread