[go: nahoru, domu]
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

Opened editors: selection not updating in all cases properly #7223

Closed
bpasero opened this issue Jun 5, 2016 · 0 comments
Closed

Opened editors: selection not updating in all cases properly #7223

bpasero opened this issue Jun 5, 2016 · 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
June 2016

Comments

@bpasero
Copy link
Member
bpasero commented Jun 5, 2016

Start empty. Press Cmd+1 to open the first editor and then Cmd+2 for the second. The second is not getting selected:

editors
@bpasero bpasero added bug Issue identified by VS Code Team member as probable bug workbench-tabs VS Code editor tab issues labels Jun 5, 2016
@bpasero bpasero added this to the June 2016 milestone Jun 5, 2016
@isidorn isidorn assigned bpasero and unassigned isidorn Jun 14, 2016
@bpasero bpasero added the verified Verification succeeded label Jun 28, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
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
June 2016
Development

No branches or pull requests
2 participants
@bpasero @isidorn