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