src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersTree/layout
class MarkersTree:	override layout(height: number, width: number): void {
		this.container.style.height = `${height}px`;
		super.layout(height, width);
	}