Separate names with a comma.
Isn't that the point of user editable key binds though? To allow users to select which key does what? Maybe a user doesn't want all of them...
If there is some weird limitation with the options window could we get it changeable manually via config file? Wouldn't be the best option but...