added ext-settings_menu.js to ace, activated by alt-comma, mainly for testing purposes