src/vs/workbench/contrib/preferences/browser/preferencesWidgets.ts/SettingsGroupTitleWidget/afterLineNumber
class SettingsGroupTitleWidget:	get afterLineNumber(): number {
		return this._afterLineNumber;
	}