From e9ddefba2a3704b8164b136ec4e616689987ca97 Mon Sep 17 00:00:00 2001
From: Micha Reiser <micha@reiser.io>
Date: Thu, 10 Apr 2025 14:36:12 +0200
Subject: [PATCH] [red-knot] Fix double hovers/inlays in playground

---
 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 3791f13e7d809..73d8f7527b211 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,