X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FScalePanel.java;h=b35fa6c9497b27cf7efd303a415443c40a86d1b4;hb=890bd0eac47a4b0f55bd062a359c16a43c3780a0;hp=07e83e764c4953d9e9342057d264d73b1a8f726f;hpb=ef3acde250d7d83304fb328a428b4d834fe3ac05;p=jalview.git diff --git a/src/jalview/appletgui/ScalePanel.java b/src/jalview/appletgui/ScalePanel.java index 07e83e7..b35fa6c 100755 --- a/src/jalview/appletgui/ScalePanel.java +++ b/src/jalview/appletgui/ScalePanel.java @@ -80,7 +80,7 @@ public class ScalePanel { av.showColumn(reveal[0]); reveal = null; - ap.repaint(); + ap.paintAlignment(true); if (ap.overviewPanel != null) { ap.overviewPanel.updateOverviewImage(); @@ -98,7 +98,7 @@ public class ScalePanel { av.showAllHiddenColumns(); reveal = null; - ap.repaint(); + ap.paintAlignment(true); if (ap.overviewPanel != null) { ap.overviewPanel.updateOverviewImage(); @@ -125,7 +125,7 @@ public class ScalePanel av.setSelectionGroup(null); } - ap.repaint(); + ap.paintAlignment(true); if (ap.overviewPanel != null) { ap.overviewPanel.updateOverviewImage(); @@ -168,7 +168,7 @@ public class ScalePanel } } - ap.repaint(); + ap.paintAlignment(true); } public void mouseReleased(MouseEvent evt) @@ -189,7 +189,7 @@ public class ScalePanel if (!stretchingGroup) { - ap.repaint(); + ap.paintAlignment(true); return; } @@ -206,7 +206,7 @@ public class ScalePanel } stretchingGroup = false; - ap.repaint(); + ap.paintAlignment(true); } public void mouseDragged(MouseEvent evt) @@ -271,7 +271,7 @@ public class ScalePanel } } - ap.repaint(); + ap.paintAlignment(true); } }