when ktxt2 editor is hidden, export
This commit is contained in:
@@ -69,6 +69,11 @@
|
|||||||
(otherwise
|
(otherwise
|
||||||
(errorMessage "bad message $e from KTxt2Editor"))))
|
(errorMessage "bad message $e from KTxt2Editor"))))
|
||||||
|
|
||||||
|
(webviewPanel.onDidChangeViewState
|
||||||
|
->e {
|
||||||
|
(unless e.webviewPanel.visible (exportSourceAndOutputFiles document))
|
||||||
|
})
|
||||||
|
|
||||||
(updateWebview))
|
(updateWebview))
|
||||||
null)
|
null)
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user