enable moz in javascript worker
This commit is contained in:
parent
6788031994
commit
2a8619e7f5
2 changed files with 9 additions and 10 deletions
|
|
@ -81,6 +81,7 @@ oop.inherits(JavaScriptWorker, Mirror);
|
||||||
// unused: true,
|
// unused: true,
|
||||||
es5: true,
|
es5: true,
|
||||||
esnext: true,
|
esnext: true,
|
||||||
|
moz: true,
|
||||||
devel: true,
|
devel: true,
|
||||||
browser: true,
|
browser: true,
|
||||||
node: true,
|
node: true,
|
||||||
|
|
|
||||||
|
|
@ -4,17 +4,15 @@ if (typeof window.window != "undefined" && window.document) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
window.console = {
|
window.console = function() {
|
||||||
log: function() {
|
var msgs = Array.prototype.slice.call(arguments, 0);
|
||||||
var msgs = Array.prototype.slice.call(arguments, 0);
|
postMessage({type: "log", data: msgs});
|
||||||
postMessage({type: "log", data: msgs});
|
|
||||||
},
|
|
||||||
error: function() {
|
|
||||||
var msgs = Array.prototype.slice.call(arguments, 0);
|
|
||||||
postMessage({type: "log", data: msgs});
|
|
||||||
},
|
|
||||||
trace: function() {}
|
|
||||||
};
|
};
|
||||||
|
window.console.error =
|
||||||
|
window.console.warn =
|
||||||
|
window.console.log =
|
||||||
|
window.console.trace = window.console;
|
||||||
|
|
||||||
window.window = window;
|
window.window = window;
|
||||||
window.ace = window;
|
window.ace = window;
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue