mirror of
https://github.com/jupyter/notebook.git
synced 2025-02-11 12:30:51 +08:00
adds the autorestart status event for the dialog so that user-restart is distinct from server-side auto restart. closes #3490 |
||
---|---|---|
.. | ||
kernel.js |