Update favicon and URL for playground (#17860)

This commit is contained in:
Micha Reiser 2025-05-06 10:51:45 +02:00 committed by GitHub
parent 7f50b503cf
commit 9000eb3bfd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
6 changed files with 10 additions and 13 deletions

View File

@ -17,7 +17,7 @@ export default function Header({
}: { }: {
edit: number | null; edit: number | null;
theme: Theme; theme: Theme;
logo: "ruff" | "astral"; logo: "ruff" | "ty";
version: string | null; version: string | null;
onChangeTheme: (theme: Theme) => void; onChangeTheme: (theme: Theme) => void;
onReset?(): void; onReset?(): void;
@ -77,13 +77,7 @@ function Divider() {
); );
} }
function Logo({ function Logo({ name, className }: { name: "ruff" | "ty"; className: string }) {
name,
className,
}: {
name: "ruff" | "astral";
className: string;
}) {
switch (name) { switch (name) {
case "ruff": case "ruff":
return ( return (
@ -100,7 +94,7 @@ function Logo({
/> />
</svg> </svg>
); );
case "astral": case "ty":
return ( return (
<svg <svg
height={32} height={32}

View File

@ -14,7 +14,10 @@
name="description" name="description"
content="An in-browser playground for ty, an extremely fast Python type-checker written in Rust." content="An in-browser playground for ty, an extremely fast Python type-checker written in Rust."
/> />
<meta name="keywords" content="ruff, python, rust, webassembly, wasm" /> <meta
name="keywords"
content="ty, python, rust, webassembly, wasm, type checker"
/>
<meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:card" content="summary_large_image" />
<meta name="twitter:site" content="@astral_sh" /> <meta name="twitter:site" content="@astral_sh" />
<meta property="og:title" content="Playground | ty" /> <meta property="og:title" content="Playground | ty" />
@ -22,9 +25,9 @@
property="og:description" property="og:description"
content="An in-browser playground for ty, an extremely fast Python type-checker written in Rust." content="An in-browser playground for ty, an extremely fast Python type-checker written in Rust."
/> />
<meta property="og:url" content="https://play.ruff.rs" /> <meta property="og:url" content="https://play.ty.dev" />
<meta property="og:image" content="/Astral.png" /> <meta property="og:image" content="/Astral.png" />
<link rel="canonical" href="https://playknot.ruff.rs" /> <link rel="canonical" href="https://play.ty.dev" />
<link rel="icon" href="/favicon.ico" /> <link rel="icon" href="/favicon.ico" />
<script <script
src="https://cdn.usefathom.com/script.js" src="https://cdn.usefathom.com/script.js"

Binary file not shown.

Before

Width:  |  Height:  |  Size: 1.2 KiB

After

Width:  |  Height:  |  Size: 391 B

Binary file not shown.

Before

Width:  |  Height:  |  Size: 2.0 KiB

After

Width:  |  Height:  |  Size: 624 B

Binary file not shown.

Before

Width:  |  Height:  |  Size: 2.3 KiB

After

Width:  |  Height:  |  Size: 3.1 KiB

View File

@ -156,7 +156,7 @@ export default function Playground() {
<Header <Header
edit={files.revision} edit={files.revision}
theme={theme} theme={theme}
logo="astral" logo="ty"
version={version} version={version}
onChangeTheme={setTheme} onChangeTheme={setTheme}
onShare={handleShare} onShare={handleShare}