Massbug/judge4c
2
0
Fork 0
mirror of https://github.com/massbug/judge4c.git synced 2025-05-18 07:16:34 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

refactor(lsp-status-button): update LSP status logic to use WebSocket state

Browse Source
This commit is contained in:
cfngc4594 2025-03-23 23:53:07 +08:00
parent 09a8276d39
commit 9e4bcfaf96
1 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
src/components/features/playground/workspace/editor/components/lsp-status-button.tsx
View File

@ -8,15 +8,26 @@ import {
} from "@/components/ui/tooltip"; } from "@/components/ui/tooltip";
import { Button } from "@/components/ui/button"; import { Button } from "@/components/ui/button";
import { useProblem } from "@/hooks/use-problem"; import { useProblem } from "@/hooks/use-problem";
import type { MonacoLanguageClient } from "monaco-languageclient";
const getLspStatusColor = (client: MonacoLanguageClient | null) => { const getLspStatusColor = (webSocket: WebSocket | null) => {
if (!client) return "bg-amber-500"; if (!webSocket) return "bg-gray-500";
return client.isRunning() ? "bg-emerald-500" : "bg-red-500";
switch (webSocket.readyState) {
case WebSocket.CONNECTING:
return "bg-yellow-500";
case WebSocket.OPEN:
return "bg-green-500";
case WebSocket.CLOSING:
return "bg-orange-500";
case WebSocket.CLOSED:
return "bg-red-500";
default:
return "bg-gray-500";
}
}; };
export function LspStatusButton() { export function LspStatusButton() {
const { monacoLanguageClient } = useProblem(); const { webSocket } = useProblem();
return ( return (
<TooltipProvider delayDuration={0}> <TooltipProvider delayDuration={0}>
@ -29,7 +40,7 @@ export function LspStatusButton() {
<div className="h-3 w-3 flex items-center justify-center"> <div className="h-3 w-3 flex items-center justify-center">
<div <div
className={`h-1.5 w-1.5 rounded-full transition-all ${getLspStatusColor( className={`h-1.5 w-1.5 rounded-full transition-all ${getLspStatusColor(
monacoLanguageClient webSocket
)}`} )}`}
/> />
</div> </div>