From 9a4abe6f80e9b3ddfd52064dc0e510e79f050989 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Thu, 15 Dec 2022 12:04:40 +0100
Subject: [PATCH] dispose editor

---
 client/src/components/Level.tsx | 2 +-
 client/src/state/progress.ts    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/client/src/components/Level.tsx b/client/src/components/Level.tsx
index 54b5f73..d2bfd72 100644
--- a/client/src/components/Level.tsx
+++ b/client/src/components/Level.tsx
@@ -214,7 +214,7 @@ function useLevelEditor(worldId: string, levelId: number, codeviewRef, infoviewR
     setInfoProvider(infoProvider)
     setInfoviewApi(infoviewApi)
 
-    return () => { editor.setModel(null); infoProvider.dispose(); }
+    return () => { editor.setModel(null); infoProvider.dispose(); editor.dispose() }
   }, [])
 
   // Create model when level changes
diff --git a/client/src/state/progress.ts b/client/src/state/progress.ts
index 6e65467..fae1127 100644
--- a/client/src/state/progress.ts
+++ b/client/src/state/progress.ts
@@ -23,7 +23,7 @@ export const progressSlice = createSlice({
 export function selectCode(world: string, level: number) {
   return (state) => {
     if (!state.progress.code[world]) { return undefined }
-    state.progress.code[world][level];
+    return state.progress.code[world][level];
   }
 }