From cba197e3c5978b82efee3bb3f2cf00a531615a01 Mon Sep 17 00:00:00 2001
From: Micha Reiser <micha@reiser.io>
Date: Mon, 24 Mar 2025 17:40:49 +0100
Subject: [PATCH] [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
---
 playground/knot/src/Editor/Chrome.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/playground/knot/src/Editor/Chrome.tsx b/playground/knot/src/Editor/Chrome.tsx
index c6ad87ad0e..7a9c02f3cf 100644
--- a/playground/knot/src/Editor/Chrome.tsx
+++ b/playground/knot/src/Editor/Chrome.tsx
@@ -99,7 +99,7 @@ export default function Chrome() {
         }
 
         if (!hasSettings) {
-          workspace.updateOptions(null);
+          updateOptions(workspace, null, setUpdateError);
         }
 
         dispatchFiles({