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(); + } + }); +