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

Close all saved files in all groups #93145

Closed
nikitavoloboev opened this issue Mar 21, 2020 · 4 comments
Closed

Close all saved files in all groups #93145

nikitavoloboev opened this issue Mar 21, 2020 · 4 comments
Labels
feature-request Request for new features or functionality workbench-editors Managing of editor widgets in workbench window

Comments

@nikitavoloboev
Copy link

As extension of already existing feature Close Saved Editors in Group added here in PR

#25692

I want to propose to add a similar command but to Close Saved Editors in All Groups or just Close Saved Editors. The command will close all saved editors in all groups in the app.

@vscodebot
Copy link

vscodebot bot commented Mar 21, 2020

(Experimental duplicate detection)
Thanks for submitting this issue. Please also check if it is already covered by an existing one, like:

@nikitavoloboev nikitavoloboev changed the title Close all unchanged files in all groups Close all saved files in all groups Mar 21, 2020
@bpasero bpasero added feature-request Request for new features or functionality workbench-editors Managing of editor widgets in workbench window labels Mar 23, 2020
@bpasero bpasero added this to the Backlog Candidates milestone Mar 23, 2020
@vscodebot
Copy link

vscodebot bot commented Mar 23, 2020

This feature request is now a candidate for our backlog. The community has 60 days to upvote the issue. If it receives 20 upvotes we will move it to our backlog. If not, we will close it. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@bpasero bpasero removed their assignment Mar 23, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Jul 8, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality workbench-editors Managing of editor widgets in workbench window
Projects
None yet
Development

No branches or pull requests

3 participants
@bpasero @nikitavoloboev and others