From fee8c0ba299ae67650716b8ebb85bd0fc51fb15a Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Mon, 23 Oct 2017 17:15:51 +0100 Subject: [PATCH] JAL-2609 remove unused AlignPanel.fastPaint flag and broken conditional preventing repaints on vertical scroll --- src/jalview/gui/AlignmentPanel.java | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index ff2ffbb..e7e1202 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -97,9 +97,6 @@ public class AlignmentPanel extends GAlignmentPanel implements private AnnotationLabels alabels; - // this value is set false when selection area being dragged - boolean fastPaint = true; - private int hextent = 0; private int vextent = 0; @@ -771,10 +768,7 @@ public class AlignmentPanel extends GAlignmentPanel implements } vpRanges.setViewportStartAndHeight(y, height); } - if (!fastPaint) - { - repaint(); - } + repaint(); } /** -- 1.7.10.2