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.getElementById("iframe_main").src, function(text) {
var el = document.getElementById("editor");
el.env.editor.session.setValue(text);
})
}