Users item toolbar

[brichet]

Copy of #378, to try to fix the check_release workflow.

This PR provides a widget that can be used in a collaborative document to display current users.

This widget is a refactoring of a widget initially created in jupyterCAD.
Porting it to jupyter_collaboration has been initially discussed in jupytercad/JupyterCAD#496.

EDIT:

If the widget is integrated to a notebook for example, it looks like:

Code for the notebook widget (in Jupyterlab)

The Notebook is a special case because the document model can be null when first displayed. We need to handle the modelChange event.

• packages/notebook-extension/src/index.ts

    toolbarRegistry.addFactory<NotebookPanel>(FACTORY, 'usersItem', panel => {
      const container = new Panel();
      const onModelChanged = () => {
        container.widgets.forEach(w => container.layout?.removeWidget(w));
        container.addWidget(UsersItem.createWidget({ model: panel.model }));
      }
      onModelChanged();
      panel.content.modelChanged.connect(onModelChanged);
      return container;
    });

• packages/notebook-extension/schema/panel.json

   {
     "name": "usersItem",
     "rank": 1005
   }

[github-actions]

👈 Launch a Binder on branch brichet/jupyter_collaboration/users_item_toolbar

[martinRenou]

Is docprovider the right place for this, or should be in the collaboration package?

[brichet]

I asked myself the same question, and I put it here because it is really a document related widget, it supposed to handle the document current collaborators.
But I don't have a strong opinion on it, and can move it to collaboration.

[martinRenou]

Ok! I wouldn't know. Maybe @davidbrochart has an opinion on it.

[krassowski]

I would say that we should think about docprovider as enabling to use ydoc without collaboration, so anything which is collaboration-specific should go to collaboration unless it is impractical.

[jtpio]

Should this be merged now while jupyter-collaboration is currently in RC, with 3.0.0 final to be released in the coming days?

Or should this be part of a 3.1.0 release, since it's more of a new feature?

[brichet]

Should this be merged now while jupyter-collaboration is currently in RC, with 3.0.0 final to be released in the coming days?

Or should this be part of a 3.1.0 release, since it's more of a new feature?

Right, we should probably wait for the next release.

[jtpio]

Looks like this repo does not make active use of GitHub milestones, but it could be useful to start using them to track such issues and improvements.

I just created the following two milestones:

• 3.0.x: https://github.com/jupyterlab/jupyter-collaboration/milestone/4
• 3.1.0: https://github.com/jupyterlab/jupyter-collaboration/milestone/3

Feel free to move it back to the 3.0.x if you think this should be released sooner.

[jtpio]

btw @brichet if you have a screenshot / screencast around that could be posted in the description that would be really useful, thanks! (and we could also add it to the changelog when releasing this)

[brichet]

btw @brichet if you have a screenshot / screencast around that could be posted in the description that would be really useful, thanks! (and we could also add it to the changelog when releasing this)

Thanks, that helped me to finish this PR, I had only tested it with jupyter-collaboration v2 and forgot to copy the styles in there.