require("ace/ext/old_ie");
// now ace will work even on ie7!
var editor = ace.edit("editor");