From 5ad23bd6814858f5e0478657556f0a6c3f1d8870 Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Sat, 26 Aug 2017 11:04:35 -0500
Subject: [PATCH] Do not automatically update the linter after a config reset

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

diff --git a/edit/lint.js b/edit/lint.js
index 40193cdd..2e4ce5a6 100644
--- a/edit/lint.js
+++ b/edit/lint.js
@@ -322,7 +322,6 @@ function setupLinterSettingsEvents(popup) {
     }
     popup.codebox.setValue(stringifyRules(rules));
     popup.codebox.focus();
-    updateLinter(linter);
   });
   $('.cancel', popup).addEventListener('click', event => {
     event.preventDefault();