From 51b8167e725e943254c14f06c9245e87595e8e28 Mon Sep 17 00:00:00 2001
From: dana <danamw@gmail.com>
Date: Wed, 15 Aug 2018 02:20:17 -0700
Subject: [PATCH] Merging

---
 edit/codemirror-editing-hooks.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/edit/codemirror-editing-hooks.js b/edit/codemirror-editing-hooks.js
index 4297eb05..fefe665d 100644
--- a/edit/codemirror-editing-hooks.js
+++ b/edit/codemirror-editing-hooks.js
@@ -492,6 +492,7 @@ onDOMscriptReady('/codemirror.js').then(() => {
         'base16-light',
         'bespin',
         'blackboard',
+        'bloodshot',
         'cobalt',
         'colorforth',
         'darcula',