From 94f7397e4369deba3ec5743f9d28c14566fdfad2 Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 12 Nov 2008 17:01:53 +0000 Subject: [PATCH] selection sending --- src/jalview/gui/IdPanel.java | 2 +- src/jalview/gui/PopupMenu.java | 1 + src/jalview/gui/RotatableCanvas.java | 3 ++- src/jalview/gui/ScalePanel.java | 2 ++ 4 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index 3e48a14..8f748a8 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -352,7 +352,7 @@ public class IdPanel extends JPanel implements MouseListener, { selectSeq(seq); } - + av.sendSelection(); alignPanel.paintAlignment(true); } diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java index fee7e3f..604f4ab 100755 --- a/src/jalview/gui/PopupMenu.java +++ b/src/jalview/gui/PopupMenu.java @@ -1382,6 +1382,7 @@ public class PopupMenu extends JPopupMenu } ap.av.hideSequence(hseqs); + ap.av.sendSelection(); } public void copy_actionPerformed() diff --git a/src/jalview/gui/RotatableCanvas.java b/src/jalview/gui/RotatableCanvas.java index 14cd425..4611533 100755 --- a/src/jalview/gui/RotatableCanvas.java +++ b/src/jalview/gui/RotatableCanvas.java @@ -647,8 +647,9 @@ public class RotatableCanvas extends JPanel implements MouseListener, aps[a].av.alignment.getWidth() - 1); } } - PaintRefresher.Refresh(this, av.getSequenceSetId()); + // canonical selection is sent to other listeners + av.sendSelection(); } repaint(); diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java index 4dfb8c8..8e9d829 100755 --- a/src/jalview/gui/ScalePanel.java +++ b/src/jalview/gui/ScalePanel.java @@ -187,6 +187,7 @@ public class ScalePanel extends JPanel implements MouseMotionListener, } ap.paintAlignment(false); + av.sendSelection(); } /** @@ -233,6 +234,7 @@ public class ScalePanel extends JPanel implements MouseMotionListener, } stretchingGroup = false; ap.paintAlignment(false); + av.sendSelection(); } /** -- 1.7.10.2