jupyter_ydoc
jupyter_ydoc copied to clipboard
Jupyter document structures for collaborative editing using Yjs/Ypy
A part of a proposed solution to https://github.com/jupyter-server/jupyter_server/issues/990 Supersedes #197
Bumps [apache/skywalking-eyes](https://github.com/apache/skywalking-eyes) from 0.4.0 to 0.6.0. Release notes Sourced from apache/skywalking-eyes's releases. v0.5.0 What's Changed feat(header templates): add support for AGPL-3.0 by @elijaholmos in apache/skywalking-eyes#125 Upgrade go version to 1.18...
See https://github.com/jupyterlab/jupyterlab/issues/16008. This PR adds an `ISharedDocument.provider` attribute, which is an `IDocumentProvider` and which represents the current provider for the document. The `IDocumentProvider` interface is moved from `jupyter-collaboration` to `jupyter_ydoc`...
### Problem Currently in RTC mode, directories are handled differently than files. The latter use the [YDocWebSocketHandler](https://github.com/jupyter-server/jupyter_server_ydoc/blob/c7da14326ce8af586a5282a739eef2fa4cc042ca/jupyter_server_ydoc/handlers.py#L108), while the former use HTTP. With https://github.com/jupyterlab/jupyterlab/issues/13527, JupyterLab drives will use the `y-websocket`,...
### Problem Currently, a notebook code cell defines [outputs as an untyped YArray](https://github.com/jupyter-server/jupyter_ydoc/blob/3b3a4af50ea46abd886076b69b93ee0dab6b05c5/jupyter_ydoc/ynotebook.py#L173) where we store the output list as-is. Each item of the outputs can be of different type:...
The document state already has file-related fields, like `"dirty"` and `"path"`. Adding `"file_id"` would make it easy to access it anywhere the shared document is available.
### Problem Today at the Jupyter Server [meeting](https://github.com/jupyter-server/team-compass/issues/45#issuecomment-1593527973) we talked about notebook restoration, where RTC could be a solution (see https://github.com/jupyter-server/jupyter_server/issues/900). In that solution, the frontend just displays live changes...
Fixes https://github.com/jupyter-server/jupyter_ydoc/pull/158#discussion_r1165169514 This PR will introduce a bug in Jupyter-collaboration as described in https://github.com/jupyter-server/jupyter_ydoc/pull/158#discussion_r1165423747. To fix it, we need https://github.com/y-crdt/ypy-websocket/pull/86 and the corresponding changes in jupyter-collaboration.