Update ace_editor.html