monkeyking

Author	SHA1	Message	Date
Min RK	54162921a4	yet another error-catching custom.js loader	10 years ago
Pierre Gerold	817b67ef85	Backport PR 1378 Protect the three call to custom.js	10 years ago
Min RK	ae6096e2ae	Backport PR #1215 : Toggle Header in Edit page #1214 There is no function to hide the header in edit mode. Now I know my syntax is wrong. I couldn't find a way to do this from the edit page javascript file. If I could get some guidance and than I could write it properly. Right now I just put the javascript within the html edit file. Before: ...	10 years ago
Min RK	a247c6689d	Backport PR #1076 : 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. ...	10 years ago
Min RK	a8b15bc709	avoid double-encoding base_url base_url should already be url-encoded.	10 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