search

jupyterlab / jupyter-collaboration

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

Add a public API for getting a read-only view of the shared model #275

Closed krassowski closed 2 months ago

krassowski commented 3 months ago

Closes https://github.com/jupyterlab/jupyter-collaboration/issues/270

Adds get_document(path, content_type, file_format) method to the YDocExtension.

The returned object is a fork of the original document, thus any modifications are not propagated back.

github-actions[bot] commented 3 months ago

Binder :point_left: Launch a Binder on branch _krassowski/jupytercollaboration/public-api-for-getting-document

krassowski commented 2 months ago

@davidbrochart should we merge and iterate or do you have any further suggestions to address here first?