src/vs/workbench/browser/parts/editor/editorGroupView.ts/EditorGroupView/relayout
class EditorGroupView:	relayout(): void {
		if (this.dimension) {
			const { width, height } = this.dimension;
			this.layout(width, height);
		}
	}