Re:JupyterLab: the next generation of the Jupyter Notebook
by jasongrout on Friday July 15, 2016 @02:45PM
(#12103007)
Thanks, that makes a lot of sense. I've opened an issue: https://github.com/jupyter/jupyterlab/issues/405.
Just that would make everything much, much better.