src/vs/workbench/browser/parts/editor/editorPart.ts/GridWidgetView/maximumHeight
class GridWidgetView:	get maximumHeight(): number { return this.gridWidget ? this.gridWidget.maximumHeight : Number.POSITIVE_INFINITY; }