##// END OF EJS Templates
add a dialog when the kernel is auto-restarted...
add a dialog when the kernel is auto-restarted adds the autorestart status event for the dialog so that user-restart is distinct from server-side auto restart. closes #3490
MinRK -
r11076:d3878094
Show More