From f2ab3897c41249f912aca1a5ab39fd4a99fbc530 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Thu, 7 May 2015 14:56:11 +0300
Subject: [PATCH] CSSLint addon: warn on nonadjacent duplicate properties

---
 codemirror/addon/lint/css-lint.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/codemirror/addon/lint/css-lint.js b/codemirror/addon/lint/css-lint.js
index dac31f93..c5c8bb3d 100644
--- a/codemirror/addon/lint/css-lint.js
+++ b/codemirror/addon/lint/css-lint.js
@@ -19,14 +19,16 @@ CodeMirror.registerHelper("lint", "css", function(text) {
   var found = [];
   if (!window.CSSLint) return found;
 
+  // STYLISH: hack start
   var rules = CSSLint.getRules();
-  var allowedRules = ["display-property-grouping", "empty-rules", "errors", "known-properties"];
+  var allowedRules = ["display-property-grouping", "duplicate-properties", "empty-rules", "errors", "known-properties"];
   CSSLint.clearRules();
   rules.forEach(function(rule) {
     if (allowedRules.indexOf(rule.id) >= 0) {
       CSSLint.addRule(rule);
     }
   });
+  // STYLISH: hack end
 
   var results = CSSLint.verify(text), messages = results.messages, message = null;
   for ( var i = 0; i < messages.length; i++) {