paintALignment
authoramwaterhouse <Andrew Waterhouse>
Wed, 4 Apr 2007 14:39:50 +0000 (14:39 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 4 Apr 2007 14:39:50 +0000 (14:39 +0000)
src/jalview/gui/AlignmentPanel.java

index 62c0d09..b3f44df 100755 (executable)
@@ -242,6 +242,8 @@ public class AlignmentPanel
         scrollToWrappedVisible(start);\r
       }\r
     }\r
+\r
+    paintAlignment(true);\r
   }\r
 \r
   void scrollToWrappedVisible(int res)\r