diff --git a/playground/shared/src/Header.tsx b/playground/shared/src/Header.tsx index 3dfad37852..0d83cc5058 100644 --- a/playground/shared/src/Header.tsx +++ b/playground/shared/src/Header.tsx @@ -17,7 +17,7 @@ export default function Header({ }: { edit: number | null; theme: Theme; - logo: "ruff" | "astral"; + logo: "ruff" | "ty"; version: string | null; onChangeTheme: (theme: Theme) => void; onReset?(): void; @@ -77,13 +77,7 @@ function Divider() { ); } -function Logo({ - name, - className, -}: { - name: "ruff" | "astral"; - className: string; -}) { +function Logo({ name, className }: { name: "ruff" | "ty"; className: string }) { switch (name) { case "ruff": return ( @@ -100,7 +94,7 @@ function Logo({ /> ); - case "astral": + case "ty": return ( - + @@ -22,9 +25,9 @@ property="og:description" content="An in-browser playground for ty, an extremely fast Python type-checker written in Rust." /> - + - +