ignore pinned state, close all editors

This commit is contained in:
Johannes Rieken 2020-01-10 17:10:31 +01:00
parent c488a65d97
commit f4f3c7ce57

View file

@ -83,10 +83,7 @@ class BulkEditPreviewContribution {
// (3) close preview editors
for (let group of this._editorGroupsService.groups) {
for (let input of group.editors) {
if (!group.isPinned(input)
&& input instanceof DiffEditorInput
&& input.modifiedInput.getResource()?.scheme === BulkEditPreviewProvider.Schema
) {
if (input instanceof DiffEditorInput && input.modifiedInput.getResource()?.scheme === BulkEditPreviewProvider.Schema) {
group.closeEditor(input, { preserveFocus: true });
}
}