X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=5db5e2e97ddafb9850dab16236862b62f13c6169;hb=2ba9716bbffe4b35f640f8a85be4b60fe5fb2fdd;hp=07a3c55b87f3c05911def8c3968c649d21eece81;hpb=6f3b2d39f15649cfa5808e18edbe8d5e876dc011;p=jalview.git

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index 07a3c55..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));
 
@@ -141,7 +143,6 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene
       selectSeq(seq);
 
     alignPanel.repaint();
-    repaint();
   }
 
   void selectSeq(int seq)
@@ -177,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