From a897e00a72dfc5094b6f05d62e26db9ac6e16628 Mon Sep 17 00:00:00 2001 From: cfngc4594 Date: Sun, 13 Apr 2025 11:54:07 +0800 Subject: [PATCH] chore(dockview): remove unused Dockview configuration file - Deleted `src/config/dockview.ts` as it was no longer needed with the refactor to support dynamic panel options. --- src/config/dockview.ts | 73 ------------------------------------------ 1 file changed, 73 deletions(-) delete mode 100644 src/config/dockview.ts diff --git a/src/config/dockview.ts b/src/config/dockview.ts deleted file mode 100644 index 066a94c..0000000 --- a/src/config/dockview.ts +++ /dev/null @@ -1,73 +0,0 @@ -import { AddPanelOptions } from "dockview"; - -export const DefaultDockviewOptions: AddPanelOptions[] = [ - { - id: "Description", - component: "Description", - title: "Description", - params: { icon: "FileTextIcon" }, - }, - { - id: "Solutions", - component: "Solutions", - title: "Solutions", - params: { icon: "FlaskConicalIcon" }, - position: { - referencePanel: "Description", - direction: "within", - }, - inactive: true, - }, - { - id: "Submissions", - component: "Submissions", - title: "Submissions", - params: { icon: "CircleCheckBigIcon" }, - position: { - referencePanel: "Solutions", - direction: "within", - }, - inactive: true, - }, - { - id: "Code", - component: "Code", - title: "Code", - params: { icon: "SquarePenIcon" }, - position: { - referencePanel: "Submissions", - direction: "right", - }, - }, - { - id: "Bot", - component: "Bot", - title: "Bot", - params: { icon: "BotIcon" }, - position: { - referencePanel: "Code", - direction: "right", - }, - }, - { - id: "Testcase", - component: "Testcase", - title: "Testcase", - params: { icon: "SquareCheckIcon" }, - position: { - referencePanel: "Code", - direction: "below", - }, - }, - { - id: "TestResult", - component: "TestResult", - title: "Test Result", - params: { icon: "TerminalIcon" }, - position: { - referencePanel: "Testcase", - direction: "within", - }, - inactive: true, - }, -];