protected virtual void OnUndoBufferChanged() { if (UndoBufferChanged != null) UndoBufferChanged(this, EventArgs.Empty); }