From fdeffde2c3ca5ac72cd4e55ec040ab83ce762a6a Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Sun, 27 Aug 2017 13:56:42 -0500
Subject: [PATCH] Set selected linter during import

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

diff --git a/edit/edit.js b/edit/edit.js
index 38eade7c..6558f8d2 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -1955,7 +1955,7 @@ function showCodeMirrorPopup(title, html, options) {
     foldGutter: true,
     gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter', 'CodeMirror-lint-markers'],
     matchBrackets: true,
-    lint: {getAnnotations: CodeMirror.lint.css, delay: 0},
+    lint: getLinterConfigForCodeMirror(prefs.get('editor.linter')),
     styleActiveLine: true,
     theme: prefs.get('editor.theme'),
     keyMap: prefs.get('editor.keyMap')