From 6f0db27f863a935a73b78a14ba8466671171616d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 4 Apr 2007 14:39:50 +0000 Subject: [PATCH] paintALignment --- src/jalview/gui/AlignmentPanel.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 62c0d09..b3f44df 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -242,6 +242,8 @@ public class AlignmentPanel scrollToWrappedVisible(start); } } + + paintAlignment(true); } void scrollToWrappedVisible(int res) -- 1.7.10.2