in src/cloudShell.ts [142:148]
protected initShellInternal() { vscode.window.onDidCloseTerminal(async (terminal) => { if (terminal === this.terminal) { this.dispose(); } }); }