Function deleteTerminal

src/rTerminal.ts:163–174

(term: vscode.Terminal)

}

export function deleteTerminal(term: vscode.Terminal): void {
    if (isDeepStrictEqual(term, rTerm)) {
        rTerm = undefined;
        if (config().get<boolean>('sessionWatcher')) {
            void term.processId.then((v) => {
                if (v) {
                    void cleanupSession(v.toString());
                }
            });
        }
    }
}

export async function chooseTerminal(): Promise<vscode.Terminal | undefined> {
    // VSCode Python's extension creates hidden terminal with string 'Deactivate'