You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Min RK a27266ac33 Merge pull request #1076 from takluyver/codemirror-fileext-lowercase ... Lowercase file extension before looking it up in CodeMirror		10 years ago
..
editor.js	Lowercase file extension before looking it up in CodeMirror	10 years ago
main.js	s/jupyter_notebook/notebook	11 years ago
menubar.js	avoid double-encoding base_url	11 years ago
notificationarea.js	s/jupyter_notebook/notebook	11 years ago
savewidget.js	Updated dialog button layout	10 years ago