Merge branch 'main' into shader

2026-07-26 23:21:37 -04:00 · 2024-10-20 21:07:26 +02:00
parent cad11e1e48 d9bd6f9e7d
commit e6fbef95f2
17 changed files with 188 additions and 416 deletions
@@ -99,10 +99,8 @@ export function initEditor({ initialCode = '', onChange, onEvaluate, onStop, roo
          },
          {
            key: 'Alt-.',
-            run: (_, e) => {
-              e.preventDefault();
-              onStop?.();
-            },
+            preventDefault: true,
+            run: () => onStop?.(),
          },
          /* {
          key: 'Ctrl-Shift-.',