From f9789e327bb05b1ba77a578ff0ed8e55a5b5c2b0 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 3 Mar 2018 23:36:13 +0300
Subject: [PATCH] show the new CM themes in the editor options

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

diff --git a/edit/codemirror-editing-hooks.js b/edit/codemirror-editing-hooks.js
index 89159aa3..68e74338 100644
--- a/edit/codemirror-editing-hooks.js
+++ b/edit/codemirror-editing-hooks.js
@@ -503,6 +503,7 @@ onDOMscriptReady('/codemirror.js').then(() => {
         'neat',
         'neo',
         'night',
+        'oceanic-next',
         'panda-syntax',
         'paraiso-dark',
         'paraiso-light',
@@ -510,6 +511,7 @@ onDOMscriptReady('/codemirror.js').then(() => {
         'railscasts',
         'rubyblue',
         'seti',
+        'shadowfox',
         'solarized',
         'the-matrix',
         'tomorrow-night-bright',