Merge pull request #1076 from takluyver/codemirror-fileext-lowercase

Lowercase file extension before looking it up in CodeMirror
10 years ago · a27266ac33
parent 8d4a8ee0c7 b361d39723
commit a27266ac33
1 changed files with 2 additions and 1 deletions
--- 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) {