{
if (sel_listeners.contains(toremove))
{
- sel_listeners.remove(toremove);
+ sel_listeners.removeElement(toremove);
}
}
public synchronized void sendSelection(jalview.datamodel.SequenceGroup selection, jalview.datamodel.ColumnSelection colsel, SelectionSource source)