From 2a8619e7f5bbbccef1b21d4e7a83c1125ef5336d Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Thu, 18 Jul 2013 13:10:43 +0400
Subject: [PATCH] enable moz in javascript worker

---
 lib/ace/mode/javascript_worker.js |  1 +
 lib/ace/worker/worker.js          | 18 ++++++++----------
 2 files changed, 9 insertions(+), 10 deletions(-)

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;