From 480d1eb17f76c32d119f757bdf20a13bc4302508 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Wed, 16 Oct 2024 20:27:01 -0400
Subject: [PATCH] fix: persist GoalInfoDisplay state

---
 lean4-infoview/src/infoview/info.tsx | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lean4-infoview/src/infoview/info.tsx b/lean4-infoview/src/infoview/info.tsx
index bf47a5ad7..a55a6efd6 100644
--- a/lean4-infoview/src/infoview/info.tsx
+++ b/lean4-infoview/src/infoview/info.tsx
@@ -219,7 +219,6 @@ const InfoDisplayContent = React.memo((props: InfoDisplayContentProps) => {
                 </div>
             )}
             <GoalInfoDisplay
-                key={DocumentPosition.toString(pos)}
                 pos={pos}
                 goals={goals}
                 termGoal={termGoal}