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.

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

Allow dragging to hide the terminal tabs #122420

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

Allow dragging to hide the terminal tabs #122420

mjbvz opened this issue Apr 27, 2021 · 1 comment
Assignees
Labels
*as-designed Described behavior is as designed

Comments

@mjbvz
Copy link
Collaborator

mjbvz commented Apr 27, 2021

Testing #122242

With the terminal tabs, I expect to be able to hide them by clicking on the sash and dragging. This similar to what we support for the sidebar and panel

@Tyriar
Copy link
Member

Tyriar commented Apr 27, 2021

This isn't particularly discoverable and it seems somewhat harmful where a user could accidentally hide the tabs this way and not know how to bring them back, plus this has a special narrow tabs view when "minimized", similar to other views:

image

These are less of a problem for the sidebar and panel because of the amount of ways to get it back, hiding tabs is changing a setting to say you don't want to see them anymore.

@Tyriar Tyriar closed this as completed Apr 27, 2021
@Tyriar Tyriar added the *as-designed Described behavior is as designed label Apr 27, 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.
Labels
*as-designed Described behavior is as designed
Projects
None yet
Development

No branches or pull requests

3 participants