From 79e9a12d99cd254c90ced4573bde6b6b37be0daa Mon Sep 17 00:00:00 2001
From: Azgaar <maxganiev@yandex.ru>
Date: Fri, 3 Apr 2020 00:28:20 +0300
Subject: [PATCH] v1.3.29

---
 modules/ui/general.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/modules/ui/general.js b/modules/ui/general.js
index 83760749..8dfb044d 100644
--- a/modules/ui/general.js
+++ b/modules/ui/general.js
@@ -338,7 +338,10 @@ document.addEventListener("keyup", event => {
   if (active === "DIV" && document.activeElement.contentEditable === "true") return; // don't trigger if user inputs a text
   event.stopPropagation();
 
-  const key = event.keyCode, ctrl = event.ctrlKey || event.metaKey, shift = event.shiftKey, alt = event.altKey;
+  const key = event.keyCode;
+  const ctrl = event.ctrlKey || event.metaKey || key === 17;
+  const shift = event.shiftKey || key === 16;
+  const alt = event.altKey || key === 18;
 
   if (key === 112) showInfo(); // "F1" to show info
   else if (key === 113) regeneratePrompt(); // "F2" for new map