EditorProxy : suppress console warning from ace.js to fix #53