From 529cf33e8bf7e386f82da98f85c6d74a639fe25f Mon Sep 17 00:00:00 2001 From: BobHanson Date: Mon, 8 Jun 2020 16:59:22 -0500 Subject: [PATCH] IdCanvas holdRepaint() --- src/jalview/gui/IdCanvas.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java index 0731bf3..f367c83 100755 --- a/src/jalview/gui/IdCanvas.java +++ b/src/jalview/gui/IdCanvas.java @@ -221,6 +221,12 @@ public class IdCanvas extends JPanel implements ViewportListenerI @Override public void paintComponent(Graphics g) { + + if (av.getAlignPanel().getHoldRepaint()) + { + return; + } + g.setColor(Color.white); g.fillRect(0, 0, getWidth(), getHeight()); -- 1.7.10.2