##// END OF EJS Templates
make savewidget css a little more generic...
make savewidget css a little more generic - use classes instead of IDs - use .filename instead of #notebook_name
Min RK -
r19315:9e675c97
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / terminal / js
main.js Loading ...
terminado.js Loading ...