Merging

2018-08-15 02:20:17 -07:00 · 2018-08-15 02:20:17 -07:00 · 51b8167e72
commit 51b8167e72
parent 61329da2be
1 changed files with 1 additions and 0 deletions
--- 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',