From 4dc3b44bf0c7bb4098414aea8338623084f4624b Mon Sep 17 00:00:00 2001 From: cfngc4594 Date: Sun, 16 Mar 2025 16:06:33 +0800 Subject: [PATCH] feat(workspace-editor): add languageServerConfigs support to WorkspaceEditorHeader --- .../playground/workspace/editor/components/header.tsx | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/components/features/playground/workspace/editor/components/header.tsx b/src/components/features/playground/workspace/editor/components/header.tsx index d531e30..235d2f3 100644 --- a/src/components/features/playground/workspace/editor/components/header.tsx +++ b/src/components/features/playground/workspace/editor/components/header.tsx @@ -5,17 +5,19 @@ import UndoButton from "./undo-button"; import ResetButton from "./reset-button"; import FormatButton from "./format-button"; import LanguageSelector from "./language-selector"; -import { EditorLanguage, EditorLanguageConfig } from "@prisma/client"; +import { EditorLanguage, EditorLanguageConfig, LanguageServerConfig } from "@prisma/client"; interface WorkspaceEditorHeaderProps { templates: { language: EditorLanguage; template: string }[]; editorLanguageConfigs: EditorLanguageConfig[]; + languageServerConfigs: LanguageServerConfig[]; className?: string; } export default function WorkspaceEditorHeader({ templates, editorLanguageConfigs, + languageServerConfigs, className, ...props }: WorkspaceEditorHeaderProps) { @@ -26,7 +28,10 @@ export default function WorkspaceEditorHeader({ >
- +