Terminate zipworker when clearing all io

This commit is contained in:
j433866 committed 2019-05-16 13:04:04 +01:00
1 parent a750b0f08a
commit 6df9b649a1
1 file changed
+1
+1
View File
@@ -1029,6 +1029,7 @@ class InputWaiter {
clearAllIoClick() {
this.manager.worker.cancelBake();
this.manager.output.removeAllOutputs();
this.manager.output.terminateZipWorker();
this.manager.highlighter.removeHighlights();
getSelection().removeAllRanges();