src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/toggleVisibility
class MarkersView:	private toggleVisibility(hide: boolean): void {
		this.widget.toggleVisibility(hide);
		this.layoutBodyContent();
	}