When using a subset of the collaboration without jupyter-collaboration-ui with just the two following packages:
jupyter-docproviderjupyter-server-ydoc
The slider UI still shows up in the status bar:
Probably it should be moved to the jupyter-collaboration-ui package
When using a subset of the collaboration without
jupyter-collaboration-uiwith just the two following packages:jupyter-docproviderjupyter-server-ydocThe slider UI still shows up in the status bar:
Probably it should be moved to the
jupyter-collaboration-uipackage