public IUndoableEditListener[] GetUndoableEditListeners()
{
lock (this) {
IUndoableEditListener[] result = new IUndoableEditListener[listeners.Count];
listeners.CopyTo(result);
return(result);
}
}
public void RemoveUndoableEditListener(IUndoableEditListener l)
{
lock (this) {
listeners.Remove(l);
}
}
public void AddUndoableEditListener(IUndoableEditListener l)
{
lock (this) {
listeners.Add(l);
}
}