##// END OF EJS Templates
Merge pull request #928 from punchagan/font-size-shortcut-context...
Merge pull request #928 from punchagan/font-size-shortcut-context BUG: Set context for font size change shortcuts in ConsoleWidget

File last commit:

r4934:265d40c7
r5193:444cde75 merge
Show More
README.md
6 lines | 230 B | text/x-minidsrc | MarkdownLexer
Brian E. Granger
Updating CodeMirror to v 2.12....
r4504 # CodeMirror 2
CodeMirror 2 is a rewrite of [CodeMirror
1](http://github.com/marijnh/CodeMirror). The docs live
[here](http://codemirror.net/manual.html), and the project page is
[http://codemirror.net/](http://codemirror.net/).