JAL-3904 use new AlignPanel API method
authorJim Procter <j.procter@dundee.ac.uk>
Thu, 2 Dec 2021 11:23:25 +0000 (11:23 +0000)
committerJim Procter <j.procter@dundee.ac.uk>
Thu, 2 Dec 2021 11:23:40 +0000 (11:23 +0000)
src/jalview/gui/ViewSelectionMenu.java

index a1529fc..134164e 100644 (file)
@@ -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)
           {
           }