From db346656ffbf65469c8e75f27ba758e9cf55fefc Mon Sep 17 00:00:00 2001 From: Andrew Date: Sun, 23 Aug 2020 12:36:36 +0900 Subject: [PATCH] Fix so rTerm is undefined when deleting terminal --- src/rTerminal.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/rTerminal.ts b/src/rTerminal.ts index 263996621..9333bd975 100644 --- a/src/rTerminal.ts +++ b/src/rTerminal.ts @@ -46,10 +46,10 @@ export async function createRTerm(preserveshow?: boolean): Promise { export function deleteTerminal(term: Terminal) { if (isDeepStrictEqual(term, rTerm)) { + rTerm = undefined; if (config().get('sessionWatcher')) { removeSessionFiles(); } - rTerm = undefined; } }