}
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() {