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

Keep track of user's tab view width in both orientations #121833

Closed
Tyriar opened this issue Apr 21, 2021 · 0 comments · Fixed by #123516
Closed

Keep track of user's tab view width in both orientations #121833

Tyriar opened this issue Apr 21, 2021 · 0 comments · Fixed by #123516
Assignees
Labels
insiders-released Patch has been released in VS Code Insiders polish Cleanup and polish issue terminal General terminal issues that don't fall under another label terminal-tabs
Milestone

Comments

@Tyriar
Copy link
Member

Tyriar commented Apr 21, 2021

Repro:

  1. Resize tabs view, remember size
  2. Move panel to right
  3. Resize tabs view, remember that size too
  4. Move panel to bottom, it should match the size in step 1
  5. Move panel to right, it should match the size in step 3
@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 21, 2021
@Tyriar Tyriar added this to the April 2021 milestone Apr 21, 2021
@meganrogge meganrogge added polish Cleanup and polish issue and removed bug Issue identified by VS Code Team member as probable bug labels Apr 21, 2021
@Tyriar Tyriar added the bug Issue identified by VS Code Team member as probable bug label Apr 22, 2021
@Tyriar Tyriar modified the milestones: April 2021, May 2021 Apr 23, 2021
@meganrogge meganrogge removed the bug Issue identified by VS Code Team member as probable bug label May 4, 2021
meganrogge added a commit that referenced this issue May 10, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Jun 25, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
insiders-released Patch has been released in VS Code Insiders polish Cleanup and polish issue terminal General terminal issues that don't fall under another label terminal-tabs
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants
@Tyriar @meganrogge and others