|
|
(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"));
|
|
|
});
|
|
|
};
|
|
|
}());
|
|
|
|