if (typeof ace == "undefined" && typeof require == "undefined") { document.body.innerHTML = "
couldn't find ace.js file,
"
+ "to build it run node Makefile.dryice.js full
"
} else if (typeof ace == "undefined" && typeof require != "undefined") {
require(["ace/ace"], setValue)
} else {
require = ace.require;
setValue()
}
function setValue() {
require("ace/lib/net").get(document.baseURI, function(t){
var el = document.getElementById("editor");
el.env.editor.setValue(t, 1);
})
}