##// END OF EJS Templates
for downloads, replaced window.open with window.location.assign...
for downloads, replaced window.open with window.location.assign This doesn't actually open a new windows, so it's a bit nicer. Not very important, though. Source: [StackOverflow](http://stackoverflow.com/questions/1066452/easiest-way-to-open-a-download-window-without-navigating-away-from-the-page)
Yoav Ram -
r8870:e5cc2648
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / codemirror
keymap
lib
mode
theme
LICENSE Loading ...
README-IPython.rst Loading ...
README.md Loading ...
index.html Loading ...
package.json Loading ...

CodeMirror 2

CodeMirror is a JavaScript component that provides a code editor in
the browser. When a mode is available for the language you are coding
in, it will color your code, and optionally help with indentation.

The project page is http://codemirror.net
The manual is at http://codemirror.net/doc/manual.html