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

Settings editor doesn't update when folder is removed #31561

Closed
jrieken opened this issue Jul 27, 2017 · 2 comments
Closed

Settings editor doesn't update when folder is removed #31561

jrieken opened this issue Jul 27, 2017 · 2 comments
Assignees
@sandy081
Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Milestone
August 2017

Comments

@jrieken
Copy link
Member

jrieken commented Jul 27, 2017 •
edited
Loading

testing #31396

  • have a workspace with three folders a, b, and c
  • open settings editor and edit settings for folder b
  • in the explorer remove folder b from the workspace
  • 🐛 the settings editor doesn't update, the drop down does...

screen shot 2017-07-27 at 14 38 18
@vscodebot vscodebot bot added the workbench label Jul 27, 2017
@sandy081 sandy081 added bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues labels Jul 27, 2017
@sandy081 sandy081 added this to the July 2017 milestone Jul 27, 2017
@sandy081
Copy link
Member

sandy081 commented Jul 27, 2017 •
edited
Loading

This happens only when Folder Settings is open and at the same time Folder is removed.
Entry is removed from the dropdown.

Moving this to next milestone.

@sandy081 sandy081 modified the milestones: August 2017, July 2017 Jul 27, 2017
@sandy081
Copy link
Member

Settings editor switches to User settings in this case.

@jrieken jrieken added the verified Verification succeeded label Aug 31, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Projects
None yet
Milestone
August 2017
Development

No branches or pull requests
2 participants
@jrieken @sandy081