src/vs/workbench/contrib/files/browser/views/explorerView.ts/ExplorerView/focus
class ExplorerView:	override focus(): void {
		this.tree.domFocus();

		const focused = this.tree.getFocus();
		if (focused.length === 1 && this.autoReveal) {
			this.tree.reveal(focused[0], 0.5);
		}
	}