src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts/MarkerViewModel/openFileAtMarker
class MarkerViewModel:	private openFileAtMarker(element: Marker): Promise<void> {
		const { resource, selection } = { resource: element.resource, selection: element.range };
		return this.editorService.openEditor({
			resource,
			options: {
				selection,
				preserveFocus: true,
				pinned: false,
				revealIfVisible: true
			},
		}, ACTIVE_GROUP).then(() => undefined);
	}