From: jprocter <Jim Procter>
Date: Wed, 12 May 2010 09:37:10 +0000 (+0000)
Subject: patch for JAL-528
X-Git-Tag: Release_2_6~236
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=827677b96befb946a12c563f944d0612226b9623;p=jalview.git

patch for JAL-528
---

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);
   }