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.