jupyterlab-topbar (pypi): JupyterLab extension to expose the top bar space
Keywords: Jupyter|JupyterLab