public void CloseBatch() { if (_batch != null) { if (_batch.Count > 0) { _undoEvents.Push(_batch); } _batch = null; } }
public void StartBatch() { if (_batch == null) { ClearRedoHistory(); _batch = new UndoManagerBatch(); } }