src/vs/workbench/services/search/common/textSearchManager.ts/TextSearchResultsCollector/flush
class TextSearchResultsCollector:	flush(): void {
		this.pushToCollector();
		this._batchedCollector.flush();
	}