From 5b1d8350ff65e1bacd6468bccf7652c6b2b67ae8 Mon Sep 17 00:00:00 2001
From: Micha Reiser <micha@reiser.io>
Date: Thu, 10 Apr 2025 14:40:41 +0200
Subject: [PATCH] [red-knot] Fix double hovers/inlays in playground (#17334)

---
 playground/knot/src/Editor/Editor.tsx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/playground/knot/src/Editor/Editor.tsx b/playground/knot/src/Editor/Editor.tsx
index 3791f13e7d..73d8f7527b 100644
--- a/playground/knot/src/Editor/Editor.tsx
+++ b/playground/knot/src/Editor/Editor.tsx
@@ -94,6 +94,8 @@ export default function Editor({
 
   const handleMount: OnMount = useCallback(
     (editor, instance) => {
+      serverRef.current?.dispose();
+
       const server = new PlaygroundServer(instance, {
         workspace,
         files,