From b10f16f729920187a9fb55df10042edad1d42df3 Mon Sep 17 00:00:00 2001
From: David Evans <davidje13@users.noreply.github.com>
Date: Wed, 9 May 2018 07:57:50 +0100
Subject: [PATCH] Use local copy of code mirror when running server in dev mode

---
 bin/server.js |  1 +
 index.html    | 15 +++++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/bin/server.js b/bin/server.js
index a042ac4..3ba7b08 100755
--- a/bin/server.js
+++ b/bin/server.js
@@ -59,6 +59,7 @@ statics
 if(DEV) {
 	statics.addResources('/', BASEDIR, [
 		'node_modules/requirejs/require.js',
+		'node_modules/codemirror/lib',
 		'scripts',
 		'web/scripts',
 	]);
diff --git a/index.html b/index.html
index 1c2a566..07c4853 100644
--- a/index.html
+++ b/index.html
@@ -22,11 +22,17 @@
 <link rel="icon" href="web/resources/favicon.png">
 <link rel="apple-touch-icon" href="web/resources/apple-touch-icon.png">
 
+<!-- DEV
+<link rel="stylesheet" href="node_modules/codemirror/lib/codemirror.css">
+/DEV -->
+
+<!-- LIVE -->
 <link rel="stylesheet"
 	href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.37.0/codemirror.min.css"
 	integrity="sha256-I8NyGs4wjbMuBSUE40o55W6k6P7tu/7G28/JGUUYCIs="
 	crossorigin="anonymous"
 >
+<!-- /LIVE -->
 
 <link rel="stylesheet"
 	href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.37.0/addon/hint/show-hint.min.css"
@@ -42,11 +48,20 @@
 	data-integrity="sha256-vBu0/2gpeLlfmY2yFkr8eHTMuYKBw2M+/Id/qZx27F4="
 >
 
+<!-- DEV
+<meta
+	name="cdn-cm/lib/codemirror"
+	content="node_modules/codemirror/lib/codemirror.js"
+>
+/DEV -->
+
+<!-- LIVE -->
 <meta
 	name="cdn-cm/lib/codemirror"
 	content="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.37.0/codemirror.min.js"
 	data-integrity="sha256-U/4XQwZXDFDdAHjIZt1Lm7sFfmMiFDZzFYprq6XJ0gk="
 >
+<!-- /LIVE -->
 
 <meta
 	name="cdn-cm/addon/hint/show-hint"