X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FViewSelectionMenu.java;fp=src%2Fjalview%2Fgui%2FViewSelectionMenu.java;h=f77f41054a4d7b6cf57c61c78341e7cf0f75874c;hb=d043ce47fc710d3eb2629ba926a8a7417bd67d8c;hp=a1529fc11aa170176aa71fb8b47fb046936da464;hpb=49db0dff1da16c3355b43a41498c1fc93ef47e91;p=jalview.git diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java index a1529fc..f77f410 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) { }