Editor: ace.js minified