From f5ea73caeb2eb17b16d951aff6e6e31cfe2be91b Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Sat, 1 Sep 2018 21:23:12 +0800
Subject: [PATCH] Fix: remove unneeded comment

---
 edit.html    | 1 -
 edit/edit.js | 1 -
 2 files changed, 2 deletions(-)

diff --git a/edit.html b/edit.html
index 897e9601..68de7a1e 100644
--- a/edit.html
+++ b/edit.html
@@ -25,7 +25,6 @@
     <script src="js/script-loader.js"></script>
     <script src="js/storage-util.js"></script>
     <script src="content/apply.js"></script>
-    <!-- <script src="edit/lint.js"></script> -->
     <script src="edit/util.js"></script>
     <script src="edit/regexp-tester.js"></script>
     <script src="edit/applies-to-line-widget.js"></script>
diff --git a/edit/edit.js b/edit/edit.js
index e60a30e6..05df8091 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -582,7 +582,6 @@ function showCodeMirrorPopup(title, html, options) {
     foldGutter: true,
     gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter', 'CodeMirror-lint-markers'],
     matchBrackets: true,
-    // lint: linterConfig.getForCodeMirror(),
     styleActiveLine: true,
     theme: prefs.get('editor.theme'),
     keyMap: prefs.get('editor.keyMap')