##// END OF EJS Templates
use dirty event to set autosaved/unsaved changes...
use dirty event to set autosaved/unsaved changes instead of last-saved timestamp
MinRK -
r10829:483848a0
Show More
Name Size Modified Last Commit Author
/ docs / source / development / figs
allconnections.png Loading ...
allconnections.svg Loading ...
frontend-kernel.png Loading ...
frontend-kernel.svg Loading ...
hbfade.png Loading ...
iopubfade.png Loading ...
notiffade.png Loading ...
queryfade.png Loading ...
queuefade.png Loading ...