Use paintAlignment
[jalview.git] / src / jalview / gui / RedundancyPanel.java
index aa73383..6f5b09d 100755 (executable)
@@ -306,7 +306,7 @@ public class RedundancyPanel
       af.updateEditMenuBar();\r
     }\r
 \r
-    ap.repaint();\r
+    ap.paintAlignment(true);\r
 \r
     if (historyList.size() == 0)\r
     {\r