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