[ty] Add a `Copy Markdown` button to playground by sinon · Pull Request #23002 · astral-sh/ruff

sinon · 2026-01-31T15:35:31Z

Summary

Closes: astral-sh/ty#2675

Adds dropdown from Share button:

three options
- Copy link - existing share button functionality
- Copy link as Markdown - copy just the link as markdown
- Copy link and code as Markdown - copy link and code in relevant language fences as markdown
persists state to cloudflare worker (same as share)
builds a markdown formatted output from the url returned by state persist and open files
copies the created markdown to clipboard

Test Plan

Run both servers locally with:
- npm start --workspace ty-playground
- npm start --workspace ruff-playground
Disable the persist and set it's returned id to a static value (so as not to have to figure out how to run the Cloudfare thing locally) reasonable trade off since no code in that is being changed.
Click relevant buttons
Paste text into issue
No unit / integration tests included as playground doesn't have any yet

Example markdown output

Code sample in ty playground

main.py

from typing import Literal

type Style = Literal["italic", "bold", "underline"]

# Add parameter annotations `line: str, word: str, style: Style` and a return
# type annotation `-> str` to see if you can find the mistakes in this program.

def with_style(line, word, style):
    if style == "italic":
        return line.replace(word, f"*{word}*")
    elif style == "bold":
        return line.replace(word, f"__{word}__")

    position = line.find(word)
    output = line + "\n"
    output += " " * position
    output += "-" * len(word)


print(with_style("ty is a fast type checker for Python.", "fast", "underlined"))

ty.json

{
    "environment": {
        "python-version": "3.14"
    },
    "rules": {
        "undefined-reveal": "ignore"
    }
}

playground/shared/src/CopyMarkdownButton.tsx

sinon · 2026-01-31T15:39:15Z

playground/ty/src/Editor/markdown.ts

+      return "python";
+    case "json":
+      return "json";
+    case "toml":


I don't think the ty.toml is yet supported by the playground so this is just some future proofing for it does get included the export till still looks right

sharkdp · 2026-02-03T14:18:25Z

Thank you for looking into this!

In general, this seems like a useful feature to have, but personally, I think it would be nice not to have multiple "share" buttons? Especially if we consider having both "Markdown with link" and "Markdown with link and code" functionality like in astral-sh/ty#2675. I'm not really familiar with our frontend code here, but maybe we have some dropdown-like components that would allow us to hide those three options in the main UI?

The playground was designed by @MichaReiser who is currently on an extended leave. We might want to wait for his return in March before we continue with this.

sinon · 2026-02-03T15:12:37Z

In general, this seems like a useful feature to have, but personally, I think it would be nice not to have multiple "share" buttons? Especially if we consider having both "Markdown with link" and "Markdown with link and code" functionality like in astral-sh/ty#2675. I'm not really familiar with our frontend code here, but maybe we have some dropdown-like components that would allow us to hide those three options in the main UI?

Yeah I agree, I wasn't convinced by having two Share buttons side-by-side either but opted for the simpler approach to get a direction check instead of implementing the more complex UX out the door and have that fall flat 😅

Good to know, I will try and get a proposal for a drop-down like component (and maybe the other modes too) ready for when Micha returns (unless someone else feels brave enough to review frontend code in the meantime 😆)

sharkdp · 2026-02-03T15:47:44Z

Good to know, I will try and get a proposal for a drop-down like component (and maybe the other modes too) ready for when Micha returns (unless someone else feels brave enough to review frontend code in the meantime 😆)

Thank you. I mainly want to make sure that you do not invest time into something that might eventually be rejected.

MichaReiser

Thanks. This is great. We should include this in Ruff too.

playground/ty/src/Editor/ShareButton.tsx

playground/ty/src/Editor/markdown.ts

playground/ty/src/Editor/ShareButton.tsx

playground/ty/src/Editor/markdown.ts

`Copy Markdown` button: - persists state to cloudflare worker (same as share) - builds a markdown formatted output from the url returned by state persist and open files - copies the markdown to clipboard

* main: (94 commits) Fix shell injection via `shell=True` in subprocess calls (#23894) [ty] Refactor `relation.rs` to store state on a struct rather than passing around 7 arguments every time we recurse (#23837) Don't return code actions for non-Python documents (#23905) [ty] Make the default database truly statically infallible (#23929) [ty] Add `Download` button to ty playground which creates a zip export (#23478) [ty] Respect `kw_only` overwrites in dataclasses (#23930) [ty] Clarify in diagnostics that `from __future__ import annotations` only stringifies type annotations (#23928) [ty] Add a `Copy Markdown` button to playground (#23002) [ty] Fix folding range classification of lines starting with `#` (#23831) [ty] Fix folding ranges for notebooks (#23830) [ty] fix too-many-cycle panics when inferring literal type loop variables (#23875) Add `RegularCallableTypeOf` and `into_regular_callable` in `ty_extensions` (#23909) [ty] treat properties as full structural types (#23925) [ty] Avoid duplicated work during multi-inference (#23923) [ty]: make `possibly-missing-attribute` ignored by default [ty]: split out `possibly-missing-submodule` from `possibly-missing-attribute` Update astral-sh/setup-uv action to v7.5.0 (#23922) [ty] Show truthiness in ConstraintSet display and simplify falsy error message (#23913) Bump 0.15.6 (#23919) [ty] Narrow type context during collection literal inference (#23844) ...

sinon commented Jan 31, 2026

View reviewed changes

playground/shared/src/CopyMarkdownButton.tsx Outdated Show resolved Hide resolved

sinon commented Jan 31, 2026

View reviewed changes

sinon marked this pull request as ready for review January 31, 2026 15:50

AlexWaygood added playground A playground-specific issue ty Multi-file analysis & type inference labels Feb 2, 2026

carljm requested a review from MichaReiser February 14, 2026 15:31

carljm assigned MichaReiser Feb 14, 2026

sinon force-pushed the share-markdown-link-playground branch from fb89a11 to 9a4d4bd Compare February 15, 2026 16:13

MichaReiser mentioned this pull request Mar 5, 2026

[ty] Add Download button to ty playground which creates a zip export #23478

Merged

MichaReiser reviewed Mar 5, 2026

View reviewed changes

sinon and others added 10 commits March 13, 2026 10:23

[ty] ty/astral-sh#2675 Add a Copy Markdown button to playground

0bfcc89

`Copy Markdown` button: - persists state to cloudflare worker (same as share) - builds a markdown formatted output from the url returned by state persist and open files - copies the markdown to clipboard

drop md add pyi

0586e2b

tighten up text

ce63316

New button is optional, as ty only

5944fcf

switch to dropdown

9cb61eb

move ty specific code out of shared dir

c83732f

fmt

1babf27

Use react-aria-components

b5db67f

Nits, migrate Ruff

7d21ac1

Format

e64c412

MichaReiser force-pushed the share-markdown-link-playground branch from 0e4a7dc to e64c412 Compare March 13, 2026 10:43

Revert forwardRef change

a8a2440

MichaReiser changed the title ~~[ty] Add a Copy Markdown button to playground - astral-sh/ty#2675~~ [ty] Add a Copy Markdown button to playground Mar 13, 2026

MichaReiser enabled auto-merge (squash) March 13, 2026 10:51

MichaReiser merged commit 2e70459 into astral-sh:main Mar 13, 2026
42 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[ty] Add a `Copy Markdown` button to playground#23002

[ty] Add a `Copy Markdown` button to playground#23002
MichaReiser merged 11 commits intoastral-sh:mainfrom
sinon:share-markdown-link-playground

sinon commented Jan 31, 2026 •

edited

Loading

Uh oh!

Uh oh!

sinon Jan 31, 2026 •

edited

Loading

Uh oh!

sharkdp commented Feb 3, 2026

Uh oh!

sinon commented Feb 3, 2026

Uh oh!

sharkdp commented Feb 3, 2026

Uh oh!

MichaReiser left a comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Conversation

sinon commented Jan 31, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Test Plan

Example markdown output

main.py

ty.json

Uh oh!

Uh oh!

sinon Jan 31, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

sharkdp commented Feb 3, 2026

Uh oh!

sinon commented Feb 3, 2026

Uh oh!

sharkdp commented Feb 3, 2026

Uh oh!

MichaReiser left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

sinon commented Jan 31, 2026 •

edited

Loading

sinon Jan 31, 2026 •

edited

Loading