}
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 selected, toggles whether a particular view is used to colour the alignment.");
+ toggleview.setToolTipText("When enabled, allows many views to be selected.");
toggleview.addItemListener(new ItemListener() {
@Override
{
if (append)
{
- if (e.getStateChange() == e.SELECTED)
+ enabled=false;
+ // toggle the inclusion state
+ if (_selectedviews.indexOf(p)==-1)
{
_selectedviews.add(p);
+ a.setSelected(true);
}
else
{
_selectedviews.remove(p);
+ a.setSelected(false);
}
+ enabled=true;
_handler.itemStateChanged(e);
}
else