src/vs/workbench/api/node/extHostDebugService.ts/DebugTerminalCollection/onTerminalClosed
class DebugTerminalCollection:	public onTerminalClosed(terminal: vscode.Terminal) {
		this._terminalInstances.delete(terminal);
	}