##// END OF EJS Templates
monkey patch codemirror with new functionality...
monkey patch codemirror with new functionality use marijnh recommended way: https://github.com/marijnh/CodeMirror/pull/661

File last commit:

r8534:1371afc5
r9515:f1d5af1f
Show More
.gitignore
15 lines | 179 B | text/plain | TextLexer
MANIFEST
build
dist
_build
docs/man/*.gz
docs/source/api/generated
docs/gh-pages
IPython/frontend/html/notebook/static/mathjax
*.py[co]
__pycache__
build
*.egg-info
*~
*.bak
.tox