src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/renderContent
class MarkersView:	private renderContent(): void {
		this.cachedFilterStats = undefined;
		this.resetWidget();
		this.toggleVisibility(this.hasNoProblems());
		this.renderMessage();
	}