babycode editor: change ctrl+enter shortcut to use requestSubmit to fire bitty signals

2026-06-06 00:41:21 +03:00
parent 200bd37a28
commit 84dbaa2cd8
2 changed files with 2 additions and 1 deletions
--- a/data/static/js/ui.js
+++ b/data/static/js/ui.js
@@ -106,7 +106,7 @@
      ta.addEventListener('keydown', e => {
        if (e.ctrlKey && e.key === 'Enter') {
          if (ta.form.reportValidity()) {
-            ta.form.submit();
+            ta.form.requestSubmit();
          }
        }
      })