From 54bfacde05b8df3d0dde12c9573029c685ca1f41 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Wed, 12 May 2010 09:36:39 +0000
Subject: [PATCH] patch for JAL-528

---
 src/jalview/gui/AlignmentPanel.java |    1 +
 src/jalview/gui/SeqPanel.java       |    1 +
 2 files changed, 2 insertions(+)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index f92f39b..59d7b97 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -283,6 +283,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
       }
       int start = r[0];
       int end = r[1];
+      // System.err.println("Seq : "+seqIndex+" Scroll to "+start+","+end); // DEBUG
       if (start < 0)
       {
         return false;
diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java
index 98eab66..f3502a6 100755
--- a/src/jalview/gui/SeqPanel.java
+++ b/src/jalview/gui/SeqPanel.java
@@ -611,6 +611,7 @@ public class SeqPanel extends JPanel implements MouseListener,
     if (av.followHighlight)
     {
       ap.scrollToPosition(results, false);
+      seqCanvas.revalidate();
     }
     seqCanvas.highlightSearchResults(results);
   }
-- 
1.7.10.2