From: Jim Procter Date: Thu, 2 Dec 2021 11:23:25 +0000 (+0000) Subject: JAL-3904 use new AlignPanel API method X-Git-Tag: Release_2_11_2_0~21^2~1^2~6 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1326cefe1e16d0dd14c8861f5ec21fb60b51e7ba;hp=6b2dfe29409d0064c70554cd95fde1f610741419;p=jalview.git JAL-3904 use new AlignPanel API method --- 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) { }