private async void OnTextChanged(object sender, EventArgs e) { var u = ++_update; await Task.Delay(300); if (u == _update) { _document.UndoStack.EndUndoGroup(); _document.UndoStack.StartUndoGroup(); } }