From: Jim Procter Date: Wed, 21 Feb 2018 17:19:01 +0000 (+0000) Subject: Merge branch 'bug/JAL-2778again' into releases/Release_2_10_4_Branch X-Git-Tag: Release_2_10_4~67 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=33f8761fdb05b594fd8a3341180256003d3a91df;p=jalview.git Merge branch 'bug/JAL-2778again' into releases/Release_2_10_4_Branch --- 33f8761fdb05b594fd8a3341180256003d3a91df diff --cc src/jalview/gui/ScalePanel.java index 798c833,b135fc1..cb7f0da --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@@ -550,11 -552,14 +552,15 @@@ public class ScalePanel extends JPane // paint, so scroll events are identified as changes to the horizontal or // vertical start value. if (evt.getPropertyName().equals(ViewportRanges.STARTRES) - || evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ)) + || evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ) + || 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(); } }