From d43fe8db751924e52d2b42c379ba684666104c49 Mon Sep 17 00:00:00 2001
From: roottool <smart.dog.lilienthal@gmail.com>
Date: Fri, 18 Oct 2019 20:40:33 +0900
Subject: [PATCH] #3147 fix: added script tag and stylesheet

---
 lib/main.production.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/main.production.html b/lib/main.production.html
index d6828acc..aea19e3c 100644
--- a/lib/main.production.html
+++ b/lib/main.production.html
@@ -10,6 +10,7 @@
   <link rel="stylesheet" href="../node_modules/codemirror/lib/codemirror.css">
   <link rel="stylesheet" href="../node_modules/katex/dist/katex.min.css">
   <link rel="stylesheet" href="../node_modules/codemirror/addon/dialog/dialog.css">
+  <link rel="stylesheet" href="../node_modules/codemirror/addon/lint/lint.css">
   <link rel="stylesheet" href="../extra_scripts/codemirror/mode/bfm/bfm.css">
 
   <title>Boostnote</title>
@@ -129,6 +130,10 @@
   <script src="../node_modules/codemirror/addon/dialog/dialog.js"></script>
   <script src="../node_modules/codemirror/addon/display/rulers.js"></script>
 
+  <script src="../node_modules/jsonlint-mod/lib/jsonlint.js"></script>
+  <script src="../node_modules/codemirror/addon/lint/lint.js"></script>
+  <script src="../node_modules/codemirror/addon/lint/json-lint.js"></script>
+
   <script src="../node_modules/raphael/raphael.min.js"></script>
   <script src="../node_modules/flowchart.js/release/flowchart.min.js"></script>
   <script>
@@ -158,4 +163,4 @@
   </style>
 </body>
 
-</html>
\ No newline at end of file
+</html>