X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FViewSelectionMenu.java;h=c5433e5b9fed44c7e8fb11c869661deb937e54dc;hb=8665af1fa6a2b21f4bcfe50e8e375f3a59253313;hp=bca298882e6317e7166dde0811e96efffee2eef9;hpb=10e974a35e089a28c7802182f263755b9a8b8808;p=jalview.git

diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java
index bca2988..c5433e5 100644
--- a/src/jalview/gui/ViewSelectionMenu.java
+++ b/src/jalview/gui/ViewSelectionMenu.java
@@ -121,7 +121,8 @@ public class ViewSelectionMenu extends JMenu
     }
     if (allviews.length >= 2)
     {
-      
+      // ensure we update menu state to reflect external selection list state
+      append = append || _selectedviews.size()>1;
       toggleview = new JCheckBoxMenuItem("Select many views",append);
       toggleview.setToolTipText("When enabled, allows many views to be selected.");
       toggleview.addItemListener(new ItemListener() {