From 0a5d9d86bf4c8e6a845c2db60922413c8ed2aba6 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Fri, 1 Sep 2017 11:08:48 +0300
Subject: [PATCH] editor: on disabling CSS linter option, hide the report
 entirely

---
 edit/lint.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/lint.js b/edit/lint.js
index a91622a9..05414293 100644
--- a/edit/lint.js
+++ b/edit/lint.js
@@ -189,7 +189,7 @@ function updateLinter({immediately} = {}) {
   });
   $('#linter-settings').style.display = !linter ? 'none' : 'inline-block';
   if (!linter) {
-    $('#lint > div').textContent = '';
+    $('#lint').style.display = 'none';
   }
 }