if (event.key == "Escape") return browserUI.completeEdit(event, CommitOrAbort.Abort);
}
} else {
+ if (event.ctrlKey) return; // eg: Don't redo when user refreshes the page with ctrl-R
if (inputState === InputState.Root) {
if ("0" <= event.key && event.key <= "9") {
return (inputCount = (inputCount ?? 0) * 10 + parseInt(event.key));