rename(header): rename Header to WorkspaceHeader

This commit is contained in:
cfngc4594 2025-03-08 17:58:50 +08:00
parent 0a8e2d49b4
commit 70626d0499

View File

@ -6,14 +6,14 @@ import RunCode from "./run-code";
import SettingsButton from "./settings-button"; import SettingsButton from "./settings-button";
import { SettingsDialog } from "./settings-dialog"; import { SettingsDialog } from "./settings-dialog";
interface HeaderProps { interface WorkspaceHeaderProps {
className?: string; className?: string;
} }
export function Header({ export function WorkspaceHeader({
className, className,
...props ...props
}: HeaderProps) { }: WorkspaceHeaderProps) {
const [isDialogOpen, setDialogOpen] = useState(false); const [isDialogOpen, setDialogOpen] = useState(false);
const toggleDialog = () => { const toggleDialog = () => {