From f42829422db45f4410f3d7b72037324b061f0dd0 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 15 Mar 2024 18:38:32 +0100
Subject: [PATCH] delete hidden hints in chat on Retry

---
 client/src/components/infoview/main.tsx | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx
index 691c1e0..7913375 100644
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@@ -423,6 +423,9 @@ export function TypewriterInterface({props}) {
       })
       setDeletedChat(deletedChat)
 
+      // delete showHelp for deleted steps
+      setShowHelp(new Set(Array.from(showHelp).filter(i => i < line - 1)))
+
       editor.executeEdits("typewriter", [{
         range: monaco.Selection.fromPositions(
           { lineNumber: line, column: 1 },