monkeyking

Author	SHA1	Message	Date
summersa	d1203448f8	Add option to toggle header on edit page	10 years ago
Jonathan Frederic	08e968d7e9	Make events a global singleton	10 years ago
Jonathan Frederic	e64f1f9dc2	Dynamically set base url	10 years ago
Jonathan Frederic	fe5ffc106b	Make sure IPython is set on window	10 years ago
Jonathan Frederic	e5e8db3670	Load contents dynamically and load jquery-typeahead globally	10 years ago
Jonathan Frederic	1ae63ce185	Load jquery and friends globally	10 years ago
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.	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