editors - 💄 extractEditorResources

This commit is contained in:
Benjamin Pasero 2021-07-02 14:30:09 +02:00
parent 3598075dd0
commit 2ba282fc43
No known key found for this signature in database
GPG key ID: E6380CC4C8219E65

View file

@ -844,9 +844,7 @@ export class EditorService extends Disposable implements EditorServiceImpl {
}
diffMode = true;
}
if (isResourceEditorInput(editor)) {
} else if (isResourceEditorInput(editor)) {
resources.set(editor.resource, true);
}
}