##// END OF EJS Templates
Better way of saving through CodeMirror...
Better way of saving through CodeMirror This should support whatever keyboard shortcuts are configured for the 'save' command.
Thomas Kluyver -
r19020:0e93c51c
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook / less
ansicolors.less Loading ...
cell.less Loading ...
celltoolbar.less Loading ...
codecell.less Loading ...
codemirror.less Loading ...
completer.less Loading ...
highlight.less Loading ...
kernelselector.less Loading ...
menubar.less Loading ...
notebook.less Loading ...
notificationarea.less Loading ...
notificationwidget.less Loading ...
outputarea.less Loading ...
pager.less Loading ...
quickhelp.less Loading ...
renderedhtml.less Loading ...
savewidget.less Loading ...
style.less Loading ...
style_noapp.less Loading ...
terminal.less Loading ...
textcell.less Loading ...
toolbar.less Loading ...
tooltip.less Loading ...
variables.less Loading ...