X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FScalePanel.java;fp=src%2Fjalview%2Fgui%2FScalePanel.java;h=b135fc1bdf72e78138815799ca7c85468f3853ae;hb=007eb4e0c158767efa9f91f44a0154cdbb17962d;hp=e9cb04f68170ff3220eb01f5de4398268c0a230c;hpb=2131bbe62dd921c47cf5f117fa4e441c9be0f554;p=jalview.git diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index e9cb04f..b135fc1 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -555,7 +555,11 @@ public class ScalePanel extends JPanel || evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ)) { // scroll event, repaint panel - av.getAlignPanel().alignFrame.repaint(); + + // Call repaint on alignment panel so that repaints from other alignment + // panel components can be aggregated. Otherwise performance of the overview + // window and others may be adversely affected. + av.getAlignPanel().repaint(); } }