show the new CM themes in the editor options

2018-03-03 23:36:13 +03:00 · 2018-03-03 23:36:13 +03:00 · f9789e327b
commit f9789e327b
parent 2c86f2f4b9
1 changed files with 2 additions and 0 deletions
--- 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',