src/vs/workbench/contrib/searchEditor/browser/searchEditor.ts/SearchEditor/focusAllResults
class SearchEditor:	focusAllResults() {
		this.searchResultEditor
			.setSelections((this.getInput()?.getMatchRanges() ?? []).map(
				range => new Selection(range.startLineNumber, range.startColumn, range.endLineNumber, range.endColumn)));
		this.searchResultEditor.focus();
	}