From 6102c101b3bdb8a7cfdec4923e11804b4951310a Mon Sep 17 00:00:00 2001 From: Nikolay Puzanov Date: Wed, 30 Nov 2022 20:35:03 +0300 Subject: [PATCH] Add hotkey Ctrl-s for saving code --- _web_server/index.html | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/_web_server/index.html b/_web_server/index.html index fb9cf23..bf67fe1 100644 --- a/_web_server/index.html +++ b/_web_server/index.html @@ -43,7 +43,7 @@
- +
@CODE@
@@ -94,6 +94,13 @@ .then((text) => { window.location.href = text; }); }; + document.addEventListener('keydown', (e) => { + if (e.key.toLowerCase() === 's' && e.ctrlKey) { + e.preventDefault(); + save_code(); + } + }); +