Widget to display users of a collaborative document

[brichet]

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.

[github-actions]

👈 Launch a Binder on branch brichet/jupyter_collaboration/users_item_toolbar

[brichet]

bump CI

[davidbrochart]

Awesome, thanks so much @brichet!

[davidbrochart]

Not sure why Check Release fails?

[jtpio]

Got something similar recently in jupyter-server/jupyter_releaser#585.

Recreating a new PR (with the same changes) fixed it. Not sure yet of the root cause, but it might be something to investigate if it keeps happening.

So if you close this PR and open a new one, so the PR number changes, maybe it will help.

[brichet]

Thanks @jtpio, let's try it.

[brichet]

Got something similar recently in jupyter-server/jupyter_releaser#585.

Recreating a new PR (with the same changes) fixed it. Not sure yet of the root cause, but it might be something to investigate if it keeps happening.

So if you close this PR and open a new one, so the PR number changes, maybe it will help.

That was it, thanks again.