12345678910111213141516 |
- if (typeof ace == "undefined" && typeof require == "undefined") {
- document.body.innerHTML = "<p style='padding: 20px 50px;'>couldn't find ace.js file, <br>"
- + "to build it run <code>node Makefile.dryice.js full<code>"
- } 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);
- })
- }
|