jupyter-server / jupyter_ydoc

Jupyter document structures for collaborative editing using Yjs/pycrdt
https://jupyter-ydoc.readthedocs.io
BSD 3-Clause "New" or "Revised" License
29 stars 17 forks source link

Add path document attribute #81

Closed davidbrochart closed 2 years ago

davidbrochart commented 2 years ago

This adds a "path" entry to the "state" YMap of the document, alongside the "dirty" entry. This is intended to notify clients when the document is renamed.