// ensure we update menu state to reflect external selection list state
append = append || _selectedviews.size() > 1;
toggleview = new JCheckBoxMenuItem("Select many views", append);
// ensure we update menu state to reflect external selection list state
append = append || _selectedviews.size() > 1;
toggleview = new JCheckBoxMenuItem("Select many views", append);