jupyter-collaboration
jupyter-collaboration copied to clipboard
Set file ID on document state
See https://github.com/jupyter-server/jupyter_ydoc/pull/198.
See https://github.com/jupyter-server/jupyter_ydoc/pull/198.