{
if (seqsel!=null)
{
- sequences=new Vector(seqsel.sequences);
+ sequences=new Vector();
+ Enumeration sq = seqsel.sequences.elements();
+ while (sq.hasMoreElements()) {
+ sequences.addElement(sq.nextElement());
+ };
groupName = new String(seqsel.groupName);
displayBoxes = seqsel.displayBoxes;
displayText = seqsel.displayText;
{
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)