protected void RaiseUndoBufferChanged(object sender, EventArgs e) { if (CollectionChanged != null) { CollectionChanged(this, e); } }