dispose editor

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

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];
   }
 }