From 1326cefe1e16d0dd14c8861f5ec21fb60b51e7ba Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Thu, 2 Dec 2021 11:23:25 +0000 Subject: [PATCH] JAL-3904 use new AlignPanel API method --- src/jalview/gui/ViewSelectionMenu.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java index a1529fc..134164e 100644 --- a/src/jalview/gui/ViewSelectionMenu.java +++ b/src/jalview/gui/ViewSelectionMenu.java @@ -22,6 +22,7 @@ package jalview.gui; import jalview.api.AlignmentViewPanel; import jalview.util.MessageManager; +import jalview.util.Platform; import java.awt.Component; import java.awt.event.ActionEvent; @@ -261,6 +262,7 @@ public class ViewSelectionMenu extends JMenu } } }); + final ViewSelectionMenu us=this; checkBox.addMouseListener(new MouseAdapter() { @Override @@ -268,7 +270,6 @@ public class ViewSelectionMenu extends JMenu { try { - ap.setSelected(false); } catch (Exception ex) { } @@ -279,7 +280,7 @@ public class ViewSelectionMenu extends JMenu { try { - ap.setSelected(true); + ap.setAlignFrameView(); } catch (Exception ex) { } -- 1.7.10.2