Use paintAlignment
[jalview.git] / src / jalview / appletgui / AlignViewport.java
index 4e1da95..43831a2 100755 (executable)
@@ -276,7 +276,7 @@ public class AlignViewport
           {\r
             if (ap != null)\r
             {\r
-              ap.repaint();\r
+              ap.paintAlignment(true);\r
             }\r
             Thread.sleep(200);\r
           }\r
@@ -393,7 +393,7 @@ public class AlignViewport
 \r
       if (ap != null)\r
       {\r
-        ap.repaint();\r
+        ap.paintAlignment(true);\r
       }\r
 \r
     }\r
@@ -454,7 +454,7 @@ public class AlignViewport
         {\r
           if (ap != null)\r
           {\r
-            ap.repaint();\r
+            ap.paintAlignment(true);\r
           }\r
 \r
           Thread.sleep(200);\r
@@ -532,7 +532,7 @@ public class AlignViewport
 \r
       if (ap != null)\r
       {\r
-        ap.repaint();\r
+        ap.paintAlignment(true);\r
       }\r
     }\r
   }\r
@@ -1032,7 +1032,7 @@ public class AlignViewport
 \r
   public void hideAllSelectedSeqs()\r
   {\r
-    if (selectionGroup == null)\r
+    if (selectionGroup == null  || selectionGroup.getSize()<1)\r
     {\r
       return;\r
     }\r