potential fix for undo/redo speed reset.

2023-10-19 20:07:59 +01:00
parent 97fa53d9ff
commit 5d7a9e5697
1 changed files with 2 additions and 1 deletions
@@ -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;