From 9fbc6684bb5833f90318485e2b2d317513507a33 Mon Sep 17 00:00:00 2001 From: thegecko Date: Mon, 20 Mar 2023 19:09:18 +0000 Subject: [PATCH] Revert terminal-main.ts --- packages/plugin-ext/src/main/browser/terminal-main.ts | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/packages/plugin-ext/src/main/browser/terminal-main.ts b/packages/plugin-ext/src/main/browser/terminal-main.ts index 2fc2369a21b4e..d412b1b114e84 100644 --- a/packages/plugin-ext/src/main/browser/terminal-main.ts +++ b/packages/plugin-ext/src/main/browser/terminal-main.ts @@ -95,22 +95,20 @@ export class TerminalServiceMainImpl implements TerminalServiceMain, TerminalLin protected async trackTerminal(terminal: TerminalWidget): Promise { let name = terminal.title.label; this.extProxy.$terminalCreated(terminal.id, name); - const updateTitle = () => { if (name !== terminal.title.label) { name = terminal.title.label; this.extProxy.$terminalNameChanged(terminal.id, name); } }; + terminal.title.changed.connect(updateTitle); + this.toDispose.push(Disposable.create(() => terminal.title.changed.disconnect(updateTitle))); const updateProcessId = () => terminal.processId.then( processId => this.extProxy.$terminalOpened(terminal.id, processId, terminal.terminalId, terminal.dimensions.cols, terminal.dimensions.rows), () => {/* no-op */ } ); - updateProcessId(); - terminal.title.changed.connect(updateTitle); - this.toDispose.push(Disposable.create(() => terminal.title.changed.disconnect(updateTitle))); this.toDispose.push(terminal.onDidOpen(() => updateProcessId())); this.toDispose.push(terminal.onTerminalDidClose(term => this.extProxy.$terminalClosed(term.id, term.exitStatus))); this.toDispose.push(terminal.onSizeChanged(({ cols, rows }) => {