##// END OF EJS Templates
Minor changes to Ace widget....
Minor changes to Ace widget. * Font size and family matches that of our CodeMirror editors. * Help link to Ace keyboard shortcuts added to help.
Brian Granger -
r5906:dd08fafa
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html
notebook
__init__.py Loading ...