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',