You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

MinRK d8fa8eea04 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		13 years ago
..
js	add a dialog when the kernel is auto-restarted	13 years ago