From: jprocter <Jim Procter>
Date: Fri, 21 Jan 2011 17:09:43 +0000 (+0000)
Subject: more efficient highlighting and selection display
X-Git-Tag: Release_2_7~279
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=8b80cdbcd6ca4928049ec518a61d10ce90c21cab;p=jalview.git

more efficient highlighting and selection display
---

diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java
index fdcfaca..d176b86 100755
--- a/src/jalview/gui/SeqPanel.java
+++ b/src/jalview/gui/SeqPanel.java
@@ -168,6 +168,11 @@ public class SeqPanel extends JPanel implements MouseListener,
     }
     else
     {
+      if (x>seqCanvas.getWidth()+seqCanvas.getWidth())
+      {
+        // make sure we calculate relative to visible alignment, rather than right-hand gutter
+        x = seqCanvas.getX()+seqCanvas.getWidth();
+      }
       res = (x / av.getCharWidth()) + av.getStartRes();
     }
 
@@ -610,8 +615,10 @@ public class SeqPanel extends JPanel implements MouseListener,
   {
     if (av.followHighlight)
     {
-      ap.scrollToPosition(results, false);
+      if (ap.scrollToPosition(results, false))
+      {
       seqCanvas.revalidate();
+      }
     }
     seqCanvas.highlightSearchResults(results);
   }
@@ -1888,7 +1895,7 @@ public class SeqPanel extends JPanel implements MouseListener,
     if (av.selectionGroup == null || !av.isSelectionGroupChanged())
     {
       SequenceGroup sgroup = null;
-      if (seqsel != null)
+      if (seqsel != null && seqsel.getSize()>0)
       {
         if (av.alignment == null)
         {