From 0b039cb8405152fa90a861b180bde1d0ce6c586f Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Sat, 1 Sep 2018 18:18:18 +0800
Subject: [PATCH] Drop linterConfig

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

diff --git a/edit/edit.js b/edit/edit.js
index 8e62f9c6..73c7594a 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -604,7 +604,7 @@ function showCodeMirrorPopup(title, html, options) {
     foldGutter: true,
     gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter', 'CodeMirror-lint-markers'],
     matchBrackets: true,
-    lint: linterConfig.getForCodeMirror(),
+    // lint: linterConfig.getForCodeMirror(),
     styleActiveLine: true,
     theme: prefs.get('editor.theme'),
     keyMap: prefs.get('editor.keyMap')