Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hidden terminal tabs not so easy to show #122340

Closed
isidorn opened this issue Apr 27, 2021 · 1 comment
Closed

Hidden terminal tabs not so easy to show #122340

isidorn opened this issue Apr 27, 2021 · 1 comment
Assignees
@Tyriar @meganrogge
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders terminal General terminal issues that don't fall under another label terminal-tabs verified Verification succeeded
Milestone
April 2021

Comments

@isidorn
Copy link
Contributor

isidorn commented Apr 27, 2021

Testing #122242

You can right click on terminal tabs -> Hide. Easy peasy. However it is not so easy to bring them back, you have to figure out this is written in settings.

Due to that I suggest that if terminal tabs are hidden and there is more than one terminal tab that the Terminal context menu has an entry Show Tabs.
@Tyriar Tyriar added bug Issue identified by VS Code Team member as probable bug terminal General terminal issues that don't fall under another label terminal-tabs labels Apr 27, 2021
@Tyriar Tyriar added this to the April 2021 milestone Apr 27, 2021
@Tyriar
Copy link
Member

Tyriar commented Apr 27, 2021

Good idea

@isidorn isidorn added the verified Verification succeeded label Apr 29, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Jun 11, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Tyriar Tyriar

@meganrogge meganrogge

Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders terminal General terminal issues that don't fall under another label terminal-tabs verified Verification succeeded
Projects
None yet
Milestone
April 2021
Development

No branches or pull requests
4 participants
@isidorn @Tyriar @meganrogge and others