From d051bd3477415c9963803d790cf4705daef7bd82 Mon Sep 17 00:00:00 2001
From: narcolepticinsomniac <therealdoctorgonzo@gmail.com>
Date: Fri, 12 Oct 2018 19:16:11 -0400
Subject: [PATCH] Reincorporate 8's updates

---
 edit.html | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/edit.html b/edit.html
index e136d6fb..aae59250 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>
@@ -65,6 +64,8 @@
     <script src="vendor/codemirror/addon/fold/comment-fold.js"></script>
 
     <link  href="vendor/codemirror/addon/lint/lint.css" rel="stylesheet" />
+    <script src="vendor/codemirror/addon/lint/lint.js"></script>
+
 
     <link  href="vendor/codemirror/addon/hint/show-hint.css" rel="stylesheet" />
     <script src="vendor/codemirror/addon/hint/show-hint.js"></script>
@@ -87,6 +88,16 @@
     <link  href="edit/codemirror-default.css" rel="stylesheet">
     <script src="edit/codemirror-default.js"></script>
 
+    <script src="edit/linter.js"></script>
+    <script src="edit/linter-defaults.js"></script>
+    <script src="edit/linter-engines.js"></script>
+    <script src="edit/linter-meta.js"></script>
+    <script src="edit/linter-help-dialog.js"></script>
+    <script src="edit/linter-report.js"></script>
+    <script src="edit/linter-config-dialog.js"></script>
+
+    <script src="edit/editor-worker.js"></script>
+
     <link id="cm-theme" rel="stylesheet">
 
     <template data-id="appliesTo">
@@ -417,7 +428,7 @@
             </a>
           </h2>
         </summary>
-        <div></div>
+        <div class="lint-report-container"></div>
       </details>
       <div id="footer" class="hidden">
         <a href="https://github.com/openstyles/stylus/wiki/Usercss"