mirror of
https://github.com/massbug/judge4c.git
synced 2025-05-18 07:16:34 +00:00
refactor(playground): replace Header with WorkspaceHeader
This commit is contained in:
parent
9ff39a0438
commit
d697993e87
@ -3,7 +3,7 @@ import {
|
|||||||
ResizablePanel,
|
ResizablePanel,
|
||||||
ResizablePanelGroup,
|
ResizablePanelGroup,
|
||||||
} from "@/components/ui/resizable";
|
} from "@/components/ui/resizable";
|
||||||
import { Header } from "@/components/header";
|
import { WorkspaceHeader } from "@/components/workspace-header";
|
||||||
|
|
||||||
interface PlaygroundLayoutProps {
|
interface PlaygroundLayoutProps {
|
||||||
problem: React.ReactNode;
|
problem: React.ReactNode;
|
||||||
@ -16,7 +16,7 @@ export default function PlaygroundLayout({
|
|||||||
}: PlaygroundLayoutProps) {
|
}: PlaygroundLayoutProps) {
|
||||||
return (
|
return (
|
||||||
<div className="h-full flex flex-col">
|
<div className="h-full flex flex-col">
|
||||||
<Header />
|
<WorkspaceHeader />
|
||||||
<ResizablePanelGroup direction="horizontal" className="p-2.5 pt-0">
|
<ResizablePanelGroup direction="horizontal" className="p-2.5 pt-0">
|
||||||
<ResizablePanel
|
<ResizablePanel
|
||||||
defaultSize={50}
|
defaultSize={50}
|
||||||
|
Loading…
Reference in New Issue
Block a user