From bb25aeb64a51985374e378cd10e70e683be004f6 Mon Sep 17 00:00:00 2001
From: Scott Worley <scottworley@scottworley.com>
Date: Sat, 29 Jan 2022 13:01:42 -0800
Subject: [PATCH] Mostly ignore inputs when control is pressed

---
 vopamoi.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vopamoi.ts b/vopamoi.ts
index 7d2f3ee..9137ff5 100644
--- a/vopamoi.ts
+++ b/vopamoi.ts
@@ -512,6 +512,7 @@ function handleKey(event: any) {
       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));
-- 
2.44.1