##// END OF EJS Templates
Clear window title when kernel is restarted...
Clear window title when kernel is restarted When kernel is died and restarted, or restarted while it is in the busy state, message "(Busy)" on the window title is not updated. This problem is fixed by updating document title when restarting.
Takafumi Arakaki -
r7207:28f7c80e
Show More
Name Size Modified Last Commit Author
/ ... / html / notebook / static / jquery / js
jquery-1.7.1.min.js Loading ...
jquery-ui.min.js Loading ...
jquery.autogrow.js Loading ...