From f1b52d06899b84108b558431e81b71f187844ffa Mon Sep 17 00:00:00 2001 From: James Procter Date: Tue, 30 May 2023 17:13:01 +0100 Subject: [PATCH] JAL-4134 repaint the tree or alignment view(s) when column selections change --- src/jalview/gui/ScalePanel.java | 2 ++ src/jalview/gui/TreeCanvas.java | 1 + 2 files changed, 3 insertions(+) diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index 930ba79..422601d 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -269,6 +269,7 @@ public class ScalePanel extends JPanel } av.setSelectionGroup(sg); ap.paintAlignment(false, false); + PaintRefresher.Refresh(this,av.getSequenceSetId()); av.sendSelection(); } @@ -367,6 +368,7 @@ public class ScalePanel extends JPanel stretchingGroup = true; cs.stretchGroup(res, sg, min, max); ap.paintAlignment(false, false); + PaintRefresher.Refresh(ap, av.getSequenceSetId()); } } diff --git a/src/jalview/gui/TreeCanvas.java b/src/jalview/gui/TreeCanvas.java index efa23bd..2bdfc27 100755 --- a/src/jalview/gui/TreeCanvas.java +++ b/src/jalview/gui/TreeCanvas.java @@ -1262,6 +1262,7 @@ public class TreeCanvas extends JPanel implements MouseListener, Runnable, } } } + PaintRefresher.Refresh(tp, av.getSequenceSetId()); } public void createSeqGroupFor(AlignmentPanel[] aps, Vector l, -- 1.7.10.2