Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Playground does not underline issues on first open until first code change #11918

Closed
bersbersbers opened this issue Jun 18, 2024 · 1 comment · Fixed by #13262
Closed

Playground does not underline issues on first open until first code change #11918

bersbersbers opened this issue Jun 18, 2024 · 1 comment · Fixed by #13262
Labels
playground A playground-specific issue

Comments

@bersbersbers
Copy link
Contributor

When I open or reload https://play.ruff.rs/93f469fb-9725-411c-83c0-2c0d04d0ab75, I do not see any issues being underlined. I start seeing them as soon as I add a newline, or space, or anything else. But I'd expect them to be shown right from the first page load.

Microsoft Edge for Business
Version 126.0.2592.56 (Official build) (64-bit)

Reproduces in InPrivate mode with no extensions.

@dhruvmanila
Copy link
Member

Oh, interesting! Thanks for opening this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
playground A playground-specific issue
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants