From 059d7006f69f0c1623627ee437f9479455260ee5 Mon Sep 17 00:00:00 2001 From: BobHanson Date: Tue, 2 Jun 2020 16:51:32 -0500 Subject: [PATCH] JAL-3446 JAL-3401 from JAL-3253-applet AlignmentPanel.holdRepaint --- src/jalview/gui/AlignmentPanel.java | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index eb612c8..2b6d5a0 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1854,4 +1854,37 @@ public class AlignmentPanel extends GAlignmentPanel implements return true; } + private boolean holdRepaint = false; + + public boolean getHoldRepaint() + { + return holdRepaint; + } + + public void setHoldRepaint(boolean b) + { + if (holdRepaint == b) + { + return; + } + holdRepaint = b; + if (!b) + { + repaint(); + } + } + + @Override + public void repaint() + { + if (holdRepaint) + { + // System.out.println("AP repaint holding"); + // Platform.stackTrace(); + return; + } + super.repaint(); + } + + } -- 1.7.10.2