##// END OF EJS Templates
Add tooltip to Download/Print indicating need to save first...
Add tooltip to Download/Print indicating need to save first A real fix would be to trigger a save on each of thes actions, which would address #852 closes gh-895
MinRK -
r5150:bbc4d01c
Show More
Name Size Modified Last Commit Author
/ docs / source / config / extensions
autoreload.txt Loading ...
index.txt Loading ...
parallelmagic.txt Loading ...
sympyprinting.txt Loading ...