refresh editor when view state changes

2023-07-18 03:47:56 -06:00
parent b0c4df5eb9
commit d7b60098f3
1 changed files with 4 additions and 0 deletions
--- 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)