Use paintAlignment
[jalview.git] / src / jalview / appletgui / ScalePanel.java
index 07e83e7..b35fa6c 100755 (executable)
@@ -80,7 +80,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
@@ -98,7 +98,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
@@ -125,7 +125,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
@@ -168,7 +168,7 @@ public class ScalePanel
       }\r
     }\r
 \r
-    ap.repaint();\r
+    ap.paintAlignment(true);\r
   }\r
 \r
   public void mouseReleased(MouseEvent evt)\r
@@ -189,7 +189,7 @@ public class ScalePanel
 \r
     if (!stretchingGroup)\r
     {\r
-      ap.repaint();\r
+      ap.paintAlignment(true);\r
 \r
       return;\r
     }\r
@@ -206,7 +206,7 @@ public class ScalePanel
     }\r
 \r
     stretchingGroup = false;\r
-    ap.repaint();\r
+    ap.paintAlignment(true);\r
   }\r
 \r
   public void mouseDragged(MouseEvent evt)\r
@@ -271,7 +271,7 @@ public class ScalePanel
         }\r
       }\r
 \r
-      ap.repaint();\r
+      ap.paintAlignment(true);\r
     }\r
   }\r
 \r