Set file ID on document state

jupyterlab · Nov 28, 2023 · 51e6018 · 51e6018
1 parent 102afe3
commit 51e6018
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/packages/docprovider/src/yprovider.ts b/packages/docprovider/src/yprovider.ts
@@ -100,6 +100,8 @@ export class WebSocketProvider implements IDocumentProvider {
       this._contentType,
       this._path
     );
+    const state = this._sharedModel.ydoc.getMap('state');
+    state.set('file_id', session.fileId);
 
     this._yWebsocketProvider = new YWebsocketProvider(
       this._serverUrl,