[red-knot] Playground improvements#17109

MichaReiser merged 1 commit intomainastral-sh/ruff:mainfrom

micha/playground-preserve-editor-stateastral-sh/ruff:micha/playground-preserve-editor-stateCopy head branch name to clipboard