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

feat(workspace-editor): add languageServerConfigs support to WorkspaceEditorHeader

Browse Source
This commit is contained in:
cfngc4594 2025-03-16 16:06:33 +08:00
parent 004bdb510b
commit 4dc3b44bf0
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/components/features/playground/workspace/editor/components/header.tsx
View File

@ -5,17 +5,19 @@ import UndoButton from "./undo-button";
import ResetButton from "./reset-button"; import ResetButton from "./reset-button";
import FormatButton from "./format-button"; import FormatButton from "./format-button";
import LanguageSelector from "./language-selector"; import LanguageSelector from "./language-selector";
import { EditorLanguage, EditorLanguageConfig } from "@prisma/client"; import { EditorLanguage, EditorLanguageConfig, LanguageServerConfig } from "@prisma/client";
interface WorkspaceEditorHeaderProps { interface WorkspaceEditorHeaderProps {
templates: { language: EditorLanguage; template: string }[]; templates: { language: EditorLanguage; template: string }[];
editorLanguageConfigs: EditorLanguageConfig[]; editorLanguageConfigs: EditorLanguageConfig[];
languageServerConfigs: LanguageServerConfig[];
className?: string; className?: string;
} }
export default function WorkspaceEditorHeader({ export default function WorkspaceEditorHeader({
templates, templates,
editorLanguageConfigs, editorLanguageConfigs,
languageServerConfigs,
className, className,
...props ...props
}: WorkspaceEditorHeaderProps) { }: WorkspaceEditorHeaderProps) {
@ -26,7 +28,10 @@ export default function WorkspaceEditorHeader({
> >
<div className="w-full flex items-center justify-between"> <div className="w-full flex items-center justify-between">
<div className="flex items-center gap-x-2"> <div className="flex items-center gap-x-2">
<LanguageSelector editorLanguageConfigs={editorLanguageConfigs} /> <LanguageSelector
editorLanguageConfigs={editorLanguageConfigs}
languageServerConfigs={languageServerConfigs}
/>
</div> </div>
<div className="flex items-center gap-x-2"> <div className="flex items-center gap-x-2">
<ResetButton templates={templates} /> <ResetButton templates={templates} />