From 2f9f5b6dd11445b1eaccaaec54bab51a2fdcfdc5 Mon Sep 17 00:00:00 2001 From: Nikolay Puzanov Date: Fri, 9 Dec 2022 10:13:03 +0300 Subject: [PATCH] Disable Save hotkey (to prevent thoughtless use) --- _web_server/server/index.html | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/_web_server/server/index.html b/_web_server/server/index.html index b908d68..d944a5e 100644 --- a/_web_server/server/index.html +++ b/_web_server/server/index.html @@ -132,7 +132,7 @@
- + Sim: @@ -192,13 +192,6 @@ alert("%HELPSTRING%"); }; - document.addEventListener('keydown', (e) => { - if (e.key.toLowerCase() === 's' && e.ctrlKey) { - e.preventDefault(); - save_code('%SAVECODEURI%'); - } - }); -