From 5d7a9e569743ccf9b52471cbbd58f8f686ee375a Mon Sep 17 00:00:00 2001
From: Bruno Madeira <bmad.works@gmail.com>
Date: Thu, 19 Oct 2023 20:07:59 +0100
Subject: [PATCH] potential fix for undo/redo speed reset.

---
 js/WorkflowHistory.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/WorkflowHistory.js b/js/WorkflowHistory.js
index 5d92956..e284c47 100644
--- a/js/WorkflowHistory.js
+++ b/js/WorkflowHistory.js
@@ -160,7 +160,8 @@ class WorkflowHistory {
             });
             
             window.addEventListener("keyup", function (event) {
-                if (event.key.toLowerCase() === workflowHistory.prevKey){
+                if (event.key.toLowerCase() === workflowHistory.prevKey ||
+					workflowHistory.prevKey === null){
                     clearTimeout(workflowHistory.keyTimeout);
                     workflowHistory.prevKey=null;
                     workflowHistory.repKeyCount=0;