From: James Procter <j.procter@dundee.ac.uk>
Date: Mon, 20 Mar 2023 15:29:34 +0000 (+0000)
Subject: JAL-4134 propagate column selection changes in tree and alignment views
X-Git-Tag: Release_2_11_3_0~15^2^2~6
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=a9b20fb4f95f8a4435b09d513959443c266c719c;p=jalview.git

JAL-4134 propagate column selection changes in tree and alignment views
---

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;
   }