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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pinned tabs: reopen closed editor does not restore pinning #97584

Closed
bpasero opened this issue May 12, 2020 · 0 comments
Closed

Pinned tabs: reopen closed editor does not restore pinning #97584

bpasero opened this issue May 12, 2020 · 0 comments
Assignees
@bpasero
Labels
bug Issue identified by VS Code Team member as probable bug verified Verification succeeded workbench-tabs VS Code editor tab issues
Milestone
May 2020

Comments

@bpasero
Copy link
Member

bpasero commented May 12, 2020

Steps to Reproduce:

  1. open 2-3 editors
  2. pin one
  3. close it
  4. Cmd+Shift+T

=> 馃悰 editor is not pinned
@bpasero bpasero added bug Issue identified by VS Code Team member as probable bug workbench-tabs VS Code editor tab issues labels May 12, 2020
@bpasero bpasero added this to the May 2020 milestone May 12, 2020
@bpasero bpasero self-assigned this May 12, 2020
bpasero added a commit that referenced this issue May 12, 2020
@bpasero
better fix for #97584 without flicker
5d37bb7
@lszomoru lszomoru added the verified Verification succeeded label Jun 4, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Jun 26, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@bpasero bpasero

Labels
bug Issue identified by VS Code Team member as probable bug verified Verification succeeded workbench-tabs VS Code editor tab issues
Projects
None yet
Milestone
May 2020
Development

No branches or pull requests
2 participants
@bpasero @lszomoru