X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FScalePanel.java;h=e6bba0249677a351fda2ba24b41333f521e95b11;hb=77b4f2ace6bde7f7c41199e74b3099337384ee4d;hp=c8040de038b4a3803adb8141cc28c2a48e7b7c0b;hpb=b24a7070977bdbb780ec0a0e218935966af94b65;p=jalview.git diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index c8040de..e6bba02 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -410,6 +410,8 @@ public class ScalePanel extends JPanel @Override public void paintComponent(Graphics g) { + super.paintComponent(g); + /* * shouldn't get called in wrapped mode as the scale above is * drawn instead by SeqCanvas.drawNorthScale @@ -488,7 +490,7 @@ public class ScalePanel extends JPanel if (av.getShowHiddenMarkers()) { - Iterator it = hidden.getBoundedStartIterator(startx, + Iterator it = hidden.getStartRegionIterator(startx, startx + widthx + 1); while (it.hasNext()) { @@ -550,7 +552,11 @@ public class ScalePanel extends JPanel || evt.getPropertyName().equals(ViewportRanges.MOVE_VIEWPORT)) { // scroll event, repaint panel - 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(); } }