Terminal: Can't find setting to toggle list of terminals view

[joaomoreno]

Because of #121601, I'm trying to find the setting to switch it off:

• terminal returns 65 results
• terminalside: 0
• terminalpanel: 0
• terminallist: 0

Seriously... what's the setting name?

[joaomoreno]

Found it: terminal.integrated.showTabs

Maybe let's not call them tabs, since they aren't tabs.

[wardy3]

this has been driving me mad this morning. i couldn't work out if i'd changed a setting or installed an extension or something. unticked "showTabs" and now i'm happy but it would be a good option to have a right-click -> hide option or something more obvious please

[Tyriar]

Internal poll saw "tabs" winning as what to call this list, I'll improve the keywords used in the setting though.