do not open an editor when editing a diff editor

This commit is contained in:
Benjamin Pasero
2016-06-27 14:57:19 +02:00
parent b0f3e950af
commit fa9d70718c

View File

@@ -515,7 +515,7 @@ export class EditorGroup implements IEditorGroup {
}
private updateResourceMap(editor: EditorInput, remove: boolean): void {
const resource = getUntitledOrFileResource(editor);
const resource = getUntitledOrFileResource(editor, true /* include diff editors */);
if (resource) {
this.mapResourceToEditor[resource.toString()] = remove ? void 0 : editor;
}