src/vs/workbench/services/history/browser/history.ts/HistoryService/doNavigate
class HistoryService:	private doNavigate(location: IStackEntry): Promise<IEditorPane | undefined> {
		const options: ITextEditorOptions = {
			revealIfOpened: true, // support to navigate across editor groups,
			selection: location.selection,
			selectionRevealType: TextEditorSelectionRevealType.CenterIfOutsideViewport
		};

		if (isEditorInput(location.editor)) {
			return this.editorService.openEditor(location.editor, options);
		}

		return this.editorService.openEditor({
			...location.editor,
			options: {
				...location.editor.options,
				...options
			}
		});
	}