From 7b253100f81d294f9b01768d17eb501c1e351ad5 Mon Sep 17 00:00:00 2001 From: Carl Meyer Date: Wed, 21 May 2025 02:35:13 -0400 Subject: [PATCH] switch the playground repo button to ty repo (#18228) Co-authored-by: Micha Reiser --- playground/ruff/src/Editor/Chrome.tsx | 2 +- playground/shared/src/Header.tsx | 8 ++++---- playground/shared/src/RepoButton.tsx | 9 ++------- playground/ty/src/Playground.tsx | 2 +- 4 files changed, 8 insertions(+), 13 deletions(-) diff --git a/playground/ruff/src/Editor/Chrome.tsx b/playground/ruff/src/Editor/Chrome.tsx index db70b06471..43d798b0d0 100644 --- a/playground/ruff/src/Editor/Chrome.tsx +++ b/playground/ruff/src/Editor/Chrome.tsx @@ -87,7 +87,7 @@ export default function Chrome() {
void; onReset?(): void; @@ -37,7 +37,7 @@ export default function Header({ " >
- +
{version ? ( @@ -46,7 +46,7 @@ export default function Header({
) : null} - +
diff --git a/playground/shared/src/RepoButton.tsx b/playground/shared/src/RepoButton.tsx index 1834d4dc4c..a992810f48 100644 --- a/playground/shared/src/RepoButton.tsx +++ b/playground/shared/src/RepoButton.tsx @@ -1,11 +1,6 @@ -export default function RepoButton() { +export default function RepoButton({ href }: { href: string }) { return ( - +