From d7b60098f3b5613cd0a9592e702d0f167227b8a1 Mon Sep 17 00:00:00 2001
From: Nat Quayle Nelson <natquaylenelson@gmail.com>
Date: Tue, 18 Jul 2023 03:47:56 -0600
Subject: [PATCH] refresh editor when view state changes

---
 tct-vscode-editor/src/EditorProvider.kiss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tct-vscode-editor/src/EditorProvider.kiss b/tct-vscode-editor/src/EditorProvider.kiss
index 915eae5..0747a46 100644
--- a/tct-vscode-editor/src/EditorProvider.kiss
+++ b/tct-vscode-editor/src/EditorProvider.kiss
@@ -35,6 +35,10 @@
 								(reportRequest true)
 							}]
 
+		(webviewPanel.onDidChangeViewState
+			->e {
+				(when e.webviewPanel.visible (requestFullUpdate))
+			})
 
 		(dictSet conversionProjects document.fileName project)
 		(dictSet fullUpdateFunctions document.fileName requestFullUpdate)