William Stein
William Stein
REPRODUCE: 1. shift click on checkbox next to file 2. shift click on another checkbox -- should select range but selects second file only. SECOND: 1. shift click all over...
> To clarify - who is using custom images? Are these rare but well paying customers [...] NO. There were a total of 54 custom image projects created out of...
> Can the needs of those who may desperately need custom images be better addressed using compute servers? If 100% of those users pay us nothing, and compute servers are...
Technically, probably all of the custom images could just be compute server images (i.e., on dockerhub, and they get pulled), in some submenu. They are mostly just custom jupyter kernels...
The main difference from mybinder is that adding an image had to go through Harald. This ensured all images actually work, which is good, but also that there were no...
Even now nearly a year later this is HAS NOT changed in upstream.
That JupyterLab issue has been left open now for a long time, and clearly this is a bug. Let's fix it anyways ourselves, since in this case it is quite...
If only it were so easy.
> Perhaps "the right way" to fix it is to implement these notifications in the same way and mentions? @haraldschilly actually very recently implemented the mentions/news page. The current notifications...
No worries, it took like 1 second to fix.