back to codemirror 5

Author: jderochervlk

package-lock.json

@@ -34,6 +34,7 @@
     "@react-router/node": "^7.8.1",
     "@rescript/react": "^0.14.0-rc.1",
     "@rescript/webapi": "^0.1.0-experimental-29db5f4",
+    "codemirror": "^5.65.20",
     "docson": "^2.1.0",
     "fuse.js": "^6.4.3",
     "glob": "^7.1.4",
@@ -74,4 +75,4 @@
     "vite": "^7.0.6",
     "vite-plugin-env-compatible": "^2.0.1"
   }
-}
+}

package.json

@@ -620,7 +620,6 @@ let useCompilerManager = (
       | SetupFailed(_) => ()
       | Ready(ready) =>
         let url = createUrl((pathname :> string), ready)
-        Console.log2("Updated URL: ", url)
         WebAPI.History.replaceState(history, ~data=JSON.Null, ~unused="", ~url)
       }
     }

src/common/CompilerManagerHook.res

@@ -1,5 +1,3 @@
-%%raw(`import "../../styles/_hljs.css";`)
-
 let langShortname = (lang: string) =>
   switch lang {
   | "ocaml" => "ml"