| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 | (function() {  if (!CodeMirror.modeURL) CodeMirror.modeURL = "../mode/%N/%N.js";  var loading = {};  function splitCallback(cont, n) {    var countDown = n;    return function() { if (--countDown == 0) cont(); };  }  function ensureDeps(mode, cont) {    var deps = CodeMirror.modes[mode].dependencies;    if (!deps) return cont();    var missing = [];    for (var i = 0; i < deps.length; ++i) {      if (!CodeMirror.modes.hasOwnProperty(deps[i]))        missing.push(deps[i]);    }    if (!missing.length) return cont();    var split = splitCallback(cont, missing.length);    for (var i = 0; i < missing.length; ++i)      CodeMirror.requireMode(missing[i], split);  }  CodeMirror.requireMode = function(mode, cont) {    if (typeof mode != "string") mode = mode.name;    if (CodeMirror.modes.hasOwnProperty(mode)) return ensureDeps(mode, cont);    if (loading.hasOwnProperty(mode)) return loading[mode].push(cont);    var script = document.createElement("script");    script.src = CodeMirror.modeURL.replace(/%N/g, mode);    var others = document.getElementsByTagName("script")[0];    others.parentNode.insertBefore(script, others);    var list = loading[mode] = [cont];    var count = 0, poll = setInterval(function() {      if (++count > 100) return clearInterval(poll);      if (CodeMirror.modes.hasOwnProperty(mode)) {        clearInterval(poll);        loading[mode] = null;        ensureDeps(mode, function() {          for (var i = 0; i < list.length; ++i) list[i]();        });      }    }, 200);  };  CodeMirror.autoLoadMode = function(instance, mode) {    if (!CodeMirror.modes.hasOwnProperty(mode))      CodeMirror.requireMode(mode, function() {        instance.setOption("mode", instance.getOption("mode"));      });  };}());
 |