##// END OF EJS Templates
[editor] mark unsaved changes...
[editor] mark unsaved changes Put indicator before time, change title. And cleanup implementation.
Bussonnier Matthias -
r20208:ae5abcb6
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / base / js
dialog.js Loading ...
events.js Loading ...
keyboard.js Loading ...
namespace.js Loading ...
notificationarea.js Loading ...
notificationwidget.js Loading ...
page.js Loading ...
security.js Loading ...
utils.js Loading ...