src/vs/workbench/contrib/preferences/browser/preferencesEditor.ts/PreferencesEditor/layout
class PreferencesEditor:	layout(dimension: DOM.Dimension): void {
		this.searchWidget.layout(dimension);
		const headerHeight = DOM.getTotalHeight(this.headerContainer);
		this.sideBySidePreferencesWidget.layout(new DOM.Dimension(dimension.width, dimension.height - headerHeight));
	}