internal void ClearHistory() { history.Clear(); redoStack.Clear(); }
internal void ClearHistory() { history.Clear(); redoStack.Clear(); TextSource.CurrentTB.OnUndoRedoStateChanged(); }