From 397a93bd6fd7fd37bceb6c3fed192121d31d78f5 Mon Sep 17 00:00:00 2001
From: Eugene Pankov <e@ajenti.org>
Date: Fri, 17 Sep 2021 22:09:35 +0200
Subject: [PATCH] a bit more reliable hotkey handling

---
 tabby-core/src/services/hotkeys.service.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tabby-core/src/services/hotkeys.service.ts b/tabby-core/src/services/hotkeys.service.ts
index 9e4c7460..7c4bcc5c 100644
--- a/tabby-core/src/services/hotkeys.service.ts
+++ b/tabby-core/src/services/hotkeys.service.ts
@@ -145,6 +145,8 @@ export class HotkeysService {
                 })
                 this.recognitionPhase = false
             }
+            this.pressedKeys.clear()
+            this.pressedKeyTimestamps.clear()
             this.removePressedKey(keyName)
         }
 
@@ -296,6 +298,7 @@ export class HotkeysService {
             this._hotkey.next(hotkey)
             this.pressedHotkey = hotkey
         }
+        this.recognitionPhase = false
     }
 
     private emitHotkeyOff (hotkey: string) {