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