DEPRECATED: This code was copied into https://github.com/jupyter/jupyter-js-ui. Document Manager for JupyterLab - View it on GitHub