The JS files aren't loaded directly, rather they're bundled into a big file
called main.min.js. There's information on how to rebuild that here:
http://jupyter-notebook.readthedocs.io/en/stable/contributing.html#setting-up-a-development-environment
If you can see what you need to do, you're free
Hi,
I would like to replace (or modify) this kernel.js file:
https://github.com/jupyter/notebook/blob/master/notebook/static/services/kernels/kernel.js
I want to do this because restarting or switching my kernel within a
notebook sets up an infinite loop of the websocket trying to connect
If I were you, I would look at making a MIME renderer extension.
Relevant resources:
- Extensions docs (
https://jupyterlab.readthedocs.io/en/stable/developer/extension_dev.html),
particularly the chapter on MIME renderers (
For the 0.8.0 release notes detailing the live updating python imports and
other added features see
https://github.com/SimonBiggs/scriptedforms/releases/tag/0.8.0
Latest now points to 0.9.0 as I added a small breaking change today and
wanted to highlight it with a 0.* release.
On Tue., 3 Apr.
