Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[red-knot] Default playground to Python 3.13 for real (#16956) 

## Summary

Default to 3.13 for good. 

I incorrectly used `workspace.updateOptions` instead of `updateOptions`
where the latter has a fallback.

## Test Plan

```py
import os

import sys

reveal_type(sys.version_info.minor)
```

reveals 13 on initial page load
This commit is contained in:
Micha Reiser 2025-03-24 17:40:49 +01:00 committed by GitHub
parent 66d0cf2a72
commit cba197e3c5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
playground/knot/src/Editor/Chrome.tsx
View File

@ -99,7 +99,7 @@ export default function Chrome() {
} }
if (!hasSettings) { if (!hasSettings) {
workspace.updateOptions(null); updateOptions(workspace, null, setUpdateError);
} }
dispatchFiles({ dispatchFiles({