Default editor not updating in user_settings.js

When you pick a new editor in the user_settings.js script, it doesn't update to reflect the new selection.