Remove any from terminal editor split

Part of #126387

Co-Authored-By: Megan Rogge <merogge@microsoft.com>
This commit is contained in:
Daniel Imms 2021-07-21 10:46:51 -07:00
parent 723ce3f4be
commit 7d4402a813

View file

@ -73,7 +73,13 @@ export class TerminalEditorService extends Disposable implements ITerminalEditor
// add any terminal editors created via the editor service split command
const knownIds = this.instances.map(i => i.instanceId);
const terminalEditors = this._getActiveTerminalEditors();
const unknownEditor = terminalEditors.find(input => !knownIds.includes((input as any).terminalInstance.instanceId));
const unknownEditor = terminalEditors.find(input => {
const inputId = input instanceof TerminalEditorInput ? input.terminalInstance?.instanceId : undefined;
if (inputId === undefined) {
return false;
}
return !knownIds.includes(inputId);
});
if (unknownEditor instanceof TerminalEditorInput && unknownEditor.terminalInstance) {
this._editorInputs.set(unknownEditor.terminalInstance.resource.path, unknownEditor);
this.instances.push(unknownEditor.terminalInstance);