patch for JAL-528
[jalview.git] / src / jalview / gui / SeqPanel.java
index 98eab66..f3502a6 100755 (executable)
@@ -611,6 +611,7 @@ public class SeqPanel extends JPanel implements MouseListener,
     if (av.followHighlight)
     {
       ap.scrollToPosition(results, false);
+      seqCanvas.revalidate();
     }
     seqCanvas.highlightSearchResults(results);
   }