Min RK
|
a27266ac33
|
Merge pull request #1076 from takluyver/codemirror-fileext-lowercase
Lowercase file extension before looking it up in CodeMirror
|
10 years ago |
Thomas Kluyver
|
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 |
Safia Abdalla
|
45148fd6b1
|
Updated dialog button layout
|
10 years ago |
|
Min RK
|
a8b15bc709
|
avoid double-encoding base_url
base_url should already be url-encoded.
|
11 years ago |
|
Min RK
|
23162fd289
|
Don't redirect from /edit/ to /files/
show failure to decode, instead
|
11 years ago |
Matthias Bussonnier
|
7c84376596
|
savewidget does not require namespace
|
11 years ago |
|
Min RK
|
d71a59cc9f
|
s/jupyter_notebook/notebook
|
11 years ago |
