search

mamba-org / gator

Conda environment and package management extension from within Jupyter
Other
261 stars 30 forks source link

Launcher icon position #84

Open SylvainCorlay opened 4 years ago

SylvainCorlay commented 4 years ago

At the moment, the launcher is added in the notebook section.

Should it be in another category instead?

Can we define new categories for the launcher in JupyterLab?

jtpio commented 4 years ago

This seems to be hard-coded to Notebook for now in the jupyterlab-server-proxy extension:

https://github.com/jupyterhub/jupyter-server-proxy/blob/11ff942bdd19a6cb9064a31c5e14914c4d76de6a/jupyterlab-server-proxy/src/index.ts#L87-L96

And discussed here: https://github.com/jupyterhub/jupyter-server-proxy/issues/145