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