From a9b20fb4f95f8a4435b09d513959443c266c719c Mon Sep 17 00:00:00 2001 From: James Procter Date: Mon, 20 Mar 2023 15:29:34 +0000 Subject: [PATCH] JAL-4134 propagate column selection changes in tree and alignment views --- src/jalview/gui/AlignFrame.java | 1 + src/jalview/gui/AnnotationPanel.java | 3 ++- src/jalview/gui/ScalePanel.java | 1 + src/jalview/gui/SeqPanel.java | 2 ++ 4 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index 92a18ec..2d02e79 100644 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -2636,6 +2636,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, { viewport.invertColumnSelection(); alignPanel.paintAlignment(true, false); + PaintRefresher.Refresh(alignPanel, viewport.getSequenceSetId()); viewport.sendSelection(); } diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java index c7751e3..13c0e5a 100755 --- a/src/jalview/gui/AnnotationPanel.java +++ b/src/jalview/gui/AnnotationPanel.java @@ -746,7 +746,8 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI, } } ap.paintAlignment(false, false); - + PaintRefresher.Refresh(ap, av.getSequenceSetId()); + av.sendSelection(); return true; } /** diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index 4e4a274..930ba79 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -333,6 +333,7 @@ public class ScalePanel extends JPanel ap.paintAlignment(false, false); av.isSelectionGroupChanged(true); av.isColSelChanged(true); + PaintRefresher.Refresh(ap, av.getSequenceSetId()); av.sendSelection(); } diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java index 20ec5e4..55f06fc 100644 --- a/src/jalview/gui/SeqPanel.java +++ b/src/jalview/gui/SeqPanel.java @@ -2931,6 +2931,8 @@ public class SeqPanel extends JPanel * if hidden column selection has changed */ ap.paintAlignment(hiddenChanged, hiddenChanged); + // propagate any selection changes + PaintRefresher.Refresh(ap, av.getSequenceSetId()); return true; } -- 1.7.10.2