Get aloha-settings.js in sync with editor.