src/vs/workbench/browser/parts/editor/editorPanes.ts/EditorPanes/maximumHeight
class EditorPanes:	get maximumHeight() { return this._activeEditorPane?.maximumHeight ?? DEFAULT_EDITOR_MAX_DIMENSIONS.height; }