From 0ce67ccd35eb6405812f88806f05888b9bb0ccff Mon Sep 17 00:00:00 2001
From: Dick Choi <fluke8259@gmail.com>
Date: Mon, 17 Oct 2016 02:15:40 +0900
Subject: [PATCH] add codemirror addon

---
 lib/main.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/main.html b/lib/main.html
index 90a6b95d..1524fb1c 100644
--- a/lib/main.html
+++ b/lib/main.html
@@ -55,8 +55,13 @@
 
   <script src="../node_modules/codemirror/lib/codemirror.js"></script>
   <script src="../node_modules/codemirror/mode/meta.js"></script>
+  <script src="../node_modules/codemirror/addon/mode/overlay.js"></script>
   <script src="../node_modules/codemirror/addon/mode/loadmode.js"></script>
   <script src="../node_modules/codemirror/keymap/sublime.js"></script>
+  <script src="../node_modules/codemirror/addon/runmode/runmode.js"></script>
+
+  <script src="../node_modules/codemirror/addon/edit/continuelist.js"></script>
+
   <script src="../compiled/katex.js"></script>
   <script src="../compiled/react.js"></script>
   <script src="../compiled/react-dom.js"></script>