Thomas Kluyver

Ah, I see. For extensions, I would just retrieve the base URL again with utils.get_body_data(). This is what I do [in cite2c](https://github.com/takluyver/cite2c/blob/2b1fdded1a6157d84fb31e32c3ceeb98c2cd4f06/cite2c/main.js#L76).

I think you'd have to ask PyCharm about that - they have an entirely separate implementation of the notebook interface, and I'm not sure how it works.

@rolweber - you introduced the 'restart with new ports' machinery in #279. Do you have time to look at this and the accompanying PR https://github.com/jupyter/notebook/pull/3284 ?

So with the default settings (`startup_time=0.0`), the new mechanism is not used, right? If I'm reading the code correctly, that means it will always reselect random ports when restarting the...

There are two sources of colours - Things like the prompts are controlled by the frontend. It [looks like](http://jupyter-console.readthedocs.io/en/latest/config_options.html) we have no config option to affect this at the moment....

Just for reference, this `jupyter_console` repository is for a Jupyter frontend that runs in a terminal. It's nothing to do with the HTML terminal you can get as part of...

Javascript extensions should be able to load without restarting the server (you just need to enable them and then refresh the page), but server extensions do need a server restart.

I think my inclination is to stick with 1 for now and see how we get on. If we decide we do want to share code, 4 is my preference...

Yeah, I think it's fine to go for it. Let's bundle the announcement with IPython, since the major change is the same for both.

`jupyter console` isn't generally used as much as either the notebook or terminal IPython (which works in a single process, with no frontend/kernel separation). As such, it doesn't get the...