src/vs/workbench/browser/parts/editor/editorPart.ts/GridWidgetView/layout
class GridWidgetView:	layout(width: number, height: number, top: number, left: number): void {
		this.gridWidget?.layout(width, height, top, left);
	}