Disable separator in terminal dropdown

Fixes #76878
microsoft · Jul 11, 2019 · 46cc0a1 · 46cc0a1
1 parent cd6e7e6
commit 46cc0a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vs/workbench/contrib/terminal/browser/terminalActions.ts b/src/vs/workbench/contrib/terminal/browser/terminalActions.ts
@@ -754,7 +754,7 @@ export class SwitchTerminalActionViewItem extends SelectActionViewItem {
 
 	private _updateItems(): void {
 		const items = this.terminalService.getTabLabels().map(label => <ISelectOptionItem>{ text: label });
-		items.push({ text: SwitchTerminalActionViewItem.SEPARATOR });
+		items.push({ text: SwitchTerminalActionViewItem.SEPARATOR, isDisabled: true });
 		items.push({ text: SelectDefaultShellWindowsTerminalAction.LABEL });
 		this.setOptions(items, this.terminalService.activeTabIndex);
 	}