use Prec.highest to override keys

Author: heypoom

canvas/src/editor/Editor.tsx

@@ -39,7 +39,7 @@ export const MachineEditor = memo((props: Props) => {
       basicSetup={{
         lineNumbers: false,
         foldGutter: false,
-        defaultKeymap: false,
+        // defaultKeymap: false,
       }}
     />
   )

canvas/src/editor/extensions.tsx

@@ -1,4 +1,5 @@
 import { Extension, keymap } from "@uiw/react-codemirror"
+import { Prec } from "@codemirror/state"
 
 import { engine } from "@/engine"
 import { scheduler } from "@/services/scheduler"
@@ -7,17 +8,19 @@ import { lineHighlighter } from "./highlight"
 import { vasmLanguage } from "./syntax"
 
 export function getExtensions(id: number) {
-  const keymaps = keymap.of([
-    {
-      key: "Enter",
-      shift: () => {
-        engine.reloadProgram(id)
-        scheduler.start().then()
+  const keymaps = Prec.highest(
+    keymap.of([
+      {
+        key: "Enter",
+        shift: () => {
+          engine.reloadProgram(id)
+          scheduler.start().then()
 
-        return true
+          return true
+        },
       },
-    },
-  ])
+    ]),
+  )
 
   const extensions: Extension[] = [vasmLanguage, keymaps, lineHighlighter]