import classNames from "classnames";
import RepoButton from "./RepoButton";
import ThemeButton from "./ThemeButton";
import ShareButton from "./ShareButton";
import { Theme } from "./theme";
import VersionTag from "./VersionTag";
import AstralButton from "./AstralButton";
export default function Header({
edit,
theme,
tool,
version,
onChangeTheme,
onReset,
onShare,
}: {
edit: number | null;
theme: Theme;
tool: "ruff" | "ty";
version: string | null;
onChangeTheme: (theme: Theme) => void;
onReset?(): void;
onShare: () => void;
}) {
return (
{version ? (
{version}
) : null}
);
}
function Divider() {
return (
);
}
function Logo({ name, className }: { name: "ruff" | "ty"; className: string }) {
switch (name) {
case "ruff":
return (
);
case "ty":
return (
);
}
}
function ResetButton({ onClicked }: { onClicked?: () => void }) {
return (
Reset
);
}