litchi/judge
1
0
Fork 0
mirror of https://litchi.icu/ngc2207/judge.git synced 2025-05-18 22:37:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix(playground): update Monaco editor loader configuration and adjust editor reference type

Browse Source
This commit is contained in:
ngc2207 2025-01-05 05:41:48 +08:00
parent d1d8edb8cc
commit e1f51cf3b9
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/app/playground/page.tsx
View File

@ -1,6 +1,5 @@
"use client"; "use client";
import * as monaco from "monaco-editor";
import { connectToLanguageServer } from "@/lib/lsp"; import { connectToLanguageServer } from "@/lib/lsp";
import { useEffect, useRef, useState } from "react"; import { useEffect, useRef, useState } from "react";
import { Editor, loader } from "@monaco-editor/react"; import { Editor, loader } from "@monaco-editor/react";
@ -41,12 +40,13 @@ int main() {
}, },
}; };
loader.config({ monaco }); loader.config({ paths: { vs: "/vs" } });
export default function PlaygroundPage() { export default function PlaygroundPage() {
const [language, setLanguage] = useState<string>("c"); const [language, setLanguage] = useState<string>("c");
const file = files[language]; const file = files[language];
const editorRef = useRef<monaco.editor.IStandaloneCodeEditor | null>(null); // eslint-disable-next-line @typescript-eslint/no-explicit-any
const editorRef = useRef<any | null>(null);
const webSocketRef = useRef<WebSocket | null>(null); const webSocketRef = useRef<WebSocket | null>(null);
const languageClientRef = useRef<MonacoLanguageClient | null>(null); const languageClientRef = useRef<MonacoLanguageClient | null>(null);