src/vs/workbench/contrib/preferences/browser/preferencesWidgets.ts/SettingsHeaderWidget/layout
class SettingsHeaderWidget:	private layout(): void {
		const options = this.editor.getOptions();
		const fontInfo = options.get(EditorOption.fontInfo);
		this.titleContainer.style.fontSize = fontInfo.fontSize + 'px';
		if (!options.get(EditorOption.folding)) {
			this.titleContainer.style.paddingLeft = '6px';
		}
	}