From 3d349f9a6b20077e6308bd9ef2ba567f929916b3 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Wed, 25 Jan 2023 11:30:26 +0100
Subject: [PATCH] reintroduce infoProvider.dispose();

We need to find another solution to avoid the unsubscribe error
---
 client/src/components/Level.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/components/Level.tsx b/client/src/components/Level.tsx
index 1f6eed2..9b7697b 100644
--- a/client/src/components/Level.tsx
+++ b/client/src/components/Level.tsx
@@ -280,7 +280,7 @@ function useLevelEditor(worldId: string, levelId: number, codeviewRef, initialCo
     setInfoProvider(infoProvider)
     setInfoviewApi(infoviewApi)
 
-    return () => { editor.setModel(null); editor.dispose() }
+    return () => { editor.setModel(null); infoProvider.dispose(); editor.dispose() }
   }, [])
 
   const {leanClient, leanClientStarted} = useLeanClient()