97f4913c16
only set codemirror mode if it exists
9 years ago
a2f6a8c3bb
editor: remember user language choices per file extension
...
When the language is selected manually, record the file extension and choice in config
so that future files opened with the same extension use the same mode.
This allows users to teach the editor about file extensions CodeMirror doesn't know about.
9 years ago
47d4451958
remove webpack shims
...
restore explicit imports of jquery, etc.
10 years ago
1ae63ce185
Load jquery and friends globally
10 years ago
b361d39723
Lowercase file extension before looking it up in CodeMirror
...
It looks like CodeMirror stores no capitalised extensions:
https://github.com/codemirror/CodeMirror/blob/master/mode/meta.js
If there ever are any, this would break looking them up. But that seems
fairly unlikely.
Closes gh-1073
10 years ago
23162fd289
Don't redirect from /edit/ to /files/
...
show failure to decode, instead
11 years ago
d71a59cc9f
s/jupyter_notebook/notebook
11 years ago
Min RK
Jonathan Frederic
Thomas Kluyver