From 482c23734c776e7e5234cd193228b6341dec3d10 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 25 Jul 2011 09:58:29 +0200
Subject: [PATCH] fix css margin errors do not work on Mac Firefox. fix #353

---
 lib/ace/mode/css_worker.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/ace/mode/css_worker.js b/lib/ace/mode/css_worker.js
index 87b6e3d6..96196baf 100644
--- a/lib/ace/mode/css_worker.js
+++ b/lib/ace/mode/css_worker.js
@@ -54,7 +54,10 @@ oop.inherits(Worker, Mirror);
         var value = this.doc.getValue();
         
         result = CSSLint.verify(value);
-        this.sender.emit("csslint", result.messages);
+        this.sender.emit("csslint", result.messages.map(function(msg) {
+            delete msg.rule;
+            return msg;
+        }));
     };
     
 }).call(Worker.prototype);