Close all saved files in all groups #93145
Labels
feature-request
Request for new features or functionality
workbench-editors
Managing of editor widgets in workbench window
Milestone
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 justClose Saved Editors
. The command will close all saved editors in all groups in the app.The text was updated successfully, but these errors were encountered: