@jupyterlab/tabmanager-extension An extension for JupyterLab which provides a listing in the left area for all the currently open documents and widgets in the dock panel.