src/vs/workbench/browser/parts/editor/editorGroupView.ts/EditorGroupView/layout
class EditorGroupView:	layout(width: number, height: number, top: number, left: number): void {
		this.lastLayout = { width, height, top, left };

		// Layout the title area first to receive the size it occupies
		const titleAreaSize = this.titleAreaControl.layout({
			container: new Dimension(width, height),
			available: new Dimension(width, height - this.editorPane.minimumHeight)
		});

		// Pass the container width and remaining height to the editor layout
		const editorHeight = Math.max(0, height - titleAreaSize.height);
		this.editorContainer.style.height = `${editorHeight}px`;
		this.editorPane.layout({ width, height: editorHeight, top: top + titleAreaSize.height, left });
	}