diff --git a/notebook/static/edit/js/editor.js b/notebook/static/edit/js/editor.js index 421fa5781..d27da4325 100644 --- a/notebook/static/edit/js/editor.js +++ b/notebook/static/edit/js/editor.js @@ -116,7 +116,8 @@ function($, if (ext_idx > 0) { // CodeMirror.findModeByExtension wants extension without '.' - modeinfo = CodeMirror.findModeByExtension(model.name.slice(ext_idx + 1)); + modeinfo = CodeMirror.findModeByExtension( + model.name.slice(ext_idx + 1).toLowerCase()); } } if (modeinfo) {