7 Commits (945a973da511d612aea282c1911f768ffc60caaf)

Author	SHA1	Message	Date
Min RK	97f4913c16	only set codemirror mode if it exists	9 years ago
Min RK	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
Min RK	47d4451958	remove webpack shims ... restore explicit imports of jquery, etc.	9 years ago
Jonathan Frederic	1ae63ce185	Load jquery and friends globally	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
Min RK	23162fd289	Don't redirect from /edit/ to /files/ ... show failure to decode, instead	11 years ago
Min RK	d71a59cc9f	s/jupyter_notebook/notebook	11 years ago