a bit more reliable hotkey handling

2026-09-22 13:05:55 +00:00 · 2021-09-17 22:09:35 +02:00
parent 8d3f4137a1
commit 397a93bd6f
1 changed files with 3 additions and 0 deletions
@@ -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) {