From ce3719f83032dfd772b480423a5c2636278b5b87 Mon Sep 17 00:00:00 2001
From: Jannik Becher <becher.jannik@gmail.com>
Date: Wed, 15 Mar 2023 11:46:44 +0100
Subject: [PATCH] Ignore keyboard navigation when ctrl/alt is pressed (#1788)

---
 assets/js/hooks/session.js  | 2 ++
 assets/js/lib/key_buffer.js | 6 +++---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/assets/js/hooks/session.js b/assets/js/hooks/session.js
index 35a9e3b0e..4f4236fb7 100644
--- a/assets/js/hooks/session.js
+++ b/assets/js/hooks/session.js
@@ -339,6 +339,8 @@ const Session = {
         cancelEvent(event);
         this.saveNotebook();
         return;
+      } else if (cmd || alt) {
+        return;
       }
     }
 
diff --git a/assets/js/lib/key_buffer.js b/assets/js/lib/key_buffer.js
index 95ccad924..8c0d8ff76 100644
--- a/assets/js/lib/key_buffer.js
+++ b/assets/js/lib/key_buffer.js
@@ -31,11 +31,11 @@ class KeyBuffer {
    * Immediately clears the buffer.
    */
   reset() {
-    if (this.resetTimeout) {
-      clearTimeout(this.resetTimeout);
+    if (this.resetTimeoutId) {
+      clearTimeout(this.resetTimeoutId);
     }
 
-    this.clearTimeout = null;
+    this.resetTimeoutId = null;
     this.buffer = [];
   }