diff --git a/lib/ace/mode/javascript_worker.js b/lib/ace/mode/javascript_worker.js index 8d3a060c..5dd5fcd1 100644 --- a/lib/ace/mode/javascript_worker.js +++ b/lib/ace/mode/javascript_worker.js @@ -81,6 +81,7 @@ oop.inherits(JavaScriptWorker, Mirror); // unused: true, es5: true, esnext: true, + moz: true, devel: true, browser: true, node: true, diff --git a/lib/ace/worker/worker.js b/lib/ace/worker/worker.js index e530b5dd..4bae1353 100644 --- a/lib/ace/worker/worker.js +++ b/lib/ace/worker/worker.js @@ -4,17 +4,15 @@ if (typeof window.window != "undefined" && window.document) { return; } -window.console = { - log: function() { - var msgs = Array.prototype.slice.call(arguments, 0); - postMessage({type: "log", data: msgs}); - }, - error: function() { - var msgs = Array.prototype.slice.call(arguments, 0); - postMessage({type: "log", data: msgs}); - }, - trace: function() {} +window.console = function() { + var msgs = Array.prototype.slice.call(arguments, 0); + postMessage({type: "log", data: msgs}); }; +window.console.error = +window.console.warn = +window.console.log = +window.console.trace = window.console; + window.window = window; window.ace = window;