Send an interrupt signal on Ctrl+C in the line input.

t-doc-org · Mar 1, 2025 · 3ab28e7 · 3ab28e7
1 parent 5d38d45
commit 3ab28e7
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/tdoc/common/static/tdoc/exec-micropython.js b/tdoc/common/static/tdoc/exec-micropython.js
@@ -70,7 +70,16 @@ class MicroPythonExecutor extends Executor {
             input.value = '';
             onSend(value);
         });
-        div.appendChild(this.stopControl());
+        const stop = div.appendChild(this.stopControl());
+        stop.setAttribute('title', `${stop.getAttribute('title')} (Ctrl+C)`);
+        const input = div.querySelector('input');
+        input.addEventListener('keydown', e => {
+            if (e.ctrlKey && e.key === 'c' && !e.altKey && !e.metaKey
+                    && input.selectionStart === input.selectionEnd) {
+                e.preventDefault();
+                stop.click();
+            }
+        });
         return div;
     }
 

diff --git a/tdoc/common/static/tdoc/exec.js b/tdoc/common/static/tdoc/exec.js
@@ -355,7 +355,7 @@ class SectionedOutput {
         const btn = div.appendChild(element(`\
 <button class="tdoc-send" title="Send input (Enter)">Send</button>`));
         btn.addEventListener('click', () => onSend(input));
-        input.addEventListener('keydown', (e) => {
+        input.addEventListener('keydown', e => {
             if (e.key === 'Enter' && !e.altKey && !e.ctrlKey && !e.metaKey) {
                 e.preventDefault();
                 btn.click();
@@ -376,7 +376,7 @@ class SectionedOutput {
         const btn = div.appendChild(element(`\
 <button class="tdoc-send" title="Send input (Shift+Enter)">Send</button>`));
         btn.addEventListener('click', () => onSend(input));
-        input.addEventListener('keydown', (e) => {
+        input.addEventListener('keydown', e => {
             if (e.key === 'Enter' && e.shiftKey && !e.altKey &&
                     !e.ctrlKey && !e.metaKey) {
                 e.preventDefault();