update instances when an editor is closed

This commit is contained in:
meganrogge 2021-06-30 10:59:55 -07:00
parent 09f318ac35
commit 0f0db5773a
No known key found for this signature in database
GPG key ID: 3155C8B2F0428C81

View file

@ -64,6 +64,15 @@ export class TerminalEditorService extends Disposable implements ITerminalEditor
}
}));
this._register(this.onDidDisposeInstance(instance => this.detachInstance(instance)));
this._register(this._editorService.onDidCloseEditor(e => {
const instance = (e.editor as any)?.terminalInstance;
if (instance) {
const instanceIndex = this.instances.findIndex(e => e === instance);
if (instanceIndex !== -1) {
this.instances.splice(instanceIndex, 1);
}
}
}));
}
private _getActiveTerminalEditors(): IEditorInput[] {