Use paintAlignment

[jalview.git] / src / jalview / gui / ScalePanel.java

diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java
index ebf25bf..36b414f 100755 (executable)
--- a/src/jalview/gui/ScalePanel.java
+++ b/src/jalview/gui/ScalePanel.java
@@ -88,7 +88,7 @@ public class ScalePanel
           {\r
             av.showColumn(reveal[0]);\r
             reveal = null;\r
-            ap.repaint();\r
+            ap.paintAlignment(true);\r
             if (ap.overviewPanel != null)\r
             {\r
               ap.overviewPanel.updateOverviewImage();\r
@@ -106,7 +106,7 @@ public class ScalePanel
             {\r
               av.showAllHiddenColumns();\r
               reveal = null;\r
-              ap.repaint();\r
+              ap.paintAlignment(true);\r
               if (ap.overviewPanel != null)\r
               {\r
                 ap.overviewPanel.updateOverviewImage();\r
@@ -131,7 +131,7 @@ public class ScalePanel
               av.setSelectionGroup(null);\r
             }\r
 \r
-            ap.repaint();\r
+            ap.paintAlignment(true);\r
             if (ap.overviewPanel != null)\r
             {\r
               ap.overviewPanel.updateOverviewImage();\r
@@ -174,7 +174,7 @@ public class ScalePanel
 \r
     }\r
 \r
-    ap.repaint();\r
+    ap.paintAlignment(true);\r
   }\r
 \r
   /**\r
@@ -200,7 +200,7 @@ public class ScalePanel
 \r
     if (!stretchingGroup)\r
     {\r
-      ap.repaint();\r
+      ap.paintAlignment(true);\r
 \r
       return;\r
     }\r
@@ -219,7 +219,7 @@ public class ScalePanel
       }\r
     }\r
     stretchingGroup = false;\r
-    ap.repaint();\r
+    ap.paintAlignment(true);\r
   }\r
 \r
   /**\r
@@ -289,7 +289,7 @@ public class ScalePanel
         }\r
       }\r
 \r
-      ap.repaint();\r
+      ap.paintAlignment(true);\r
     }\r
   }\r
 \r