src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/onDidChangeMarkersViewVisibility
class MarkersView:	private onDidChangeMarkersViewVisibility(visible: boolean): void {
		this.onVisibleDisposables.clear();
		if (visible) {
			for (const disposable of this.reInitialize()) {
				this.onVisibleDisposables.add(disposable);
			}
			this.refreshPanel();
		}
	}