src/vs/workbench/contrib/terminal/browser/terminalTabsList.ts/TerminalTabList/refresh
class TerminalTabList:	refresh(cancelEditing: boolean = true): void {
		if (cancelEditing && this._terminalService.isEditable(undefined)) {
			this.domFocus();
		}

		this.splice(0, this.length, this._terminalGroupService.instances.slice());
	}