X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSeqPanel.java;h=f3502a6993fe6e789a714ee2f6055cee6649bae6;hb=147f42322cf898d252a64cd4a5d24db35c618bd4;hp=98eab66ed1b61d0ff1df423bfeabff3111e1e333;hpb=d423f22792e47dbc800ae220a58677f988971d06;p=jalview.git 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); }