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