def putProfileSetting(name, value):
 global settingsDictionary
 if ((name in settingsDictionary) and settingsDictionary[name].isProfile()):
  settingsDictionary[name].setValue(value)

def putProfileSetting ( name , value ) : global settingsDictionary if ( ( name in settingsDictionary ) and settingsDictionary [ name ] . isProfile ( ) ) : settingsDictionary [ name ] . setValue ( value )
store a certain value in a profile setting .