You can set the default editor for all users. However, in our company users use different editors that is why I would like to have this as a user setting.