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