src/vs/workbench/services/preferences/common/preferencesModels.ts/SettingsContentBuilder/pushLine
class SettingsContentBuilder:	pushLine(...lineText: string[]): void {
		this._contentByLines.push(...lineText);
	}