Add the Settings Editor to the landing page

[jtpio]

This adds the Settings Editor to the existing TabPanel on the landing page (/tree):

settings-editor.mp4

Previous iteration

setting-editor.mp4

TODO

• Add the settings editor by default
• Make it closable?
• Expose the tab panel for other plugins: https://github.com/jupyterlab/retrolab/issues/21

[github-actions]

👈 Launch a Binder on branch jtpio/notebook/settings-editor

[jtpio]

Expose the tab panel for other plugins:

Maybe this would actually be a more sustainable approach for the first 7.0 release. So other types of JupyterLab widgets could be added to that tree panel, so they are all under /tree. Instead of trying to have a generic way to open widgets in new browser tabs?

[jtpio]

Maybe this would actually be a more sustainable approach for the first 7.0 release. So other types of JupyterLab widgets could be added to that tree panel, so they are all under /tree. Instead of trying to have a generic way to open widgets in new browser tabs?

Looks like this could indeed play nicely, especially since it would be similar to how some extra functionalities were being added to the classic notebook before, for example "Clusters" and "Nbextensions":

[jtpio]

Maybe we can keep the settings editor hidden for now by default, so it looks more like the classic notebook.

And add it to the tab panel when opening it via the menu entry:

settings-editor.mp4

[jtpio]

There is an upstream issue when using the command palette.

Tracked in jupyterlab/jupyterlab#13760 and related PR: jupyterlab/jupyterlab#13761

[jtpio]

There is an upstream issue when using the command palette.

Opened #6691 to track this.

[jtpio]

Now looking good for a first step. We can continue iterating in follow-up PRs.