search

jupyterlab / jupyter-collaboration

A Jupyter Server Extension Providing Support for Y Documents
https://jupyterlab-realtime-collaboration.readthedocs.io/en/latest/
Other
157 stars 30 forks source link

Fix writing settings in page_config #304

Closed fcollonval closed 4 months ago

fcollonval commented 4 months ago

The current code does not write the extension settings in the page config as page_config_data already exists.

github-actions[bot] commented 4 months ago

Binder :point_left: Launch a Binder on branch jupyterlab/jupyter-collaboration/fcollonval-patch-1