From fbb8e27e665c210231410824af0266b0b5cc0ea8 Mon Sep 17 00:00:00 2001
From: David Brochart <david.brochart@gmail.com>
Date: Tue, 28 Nov 2023 11:36:01 +0100
Subject: [PATCH] Set file ID on document state

---
 packages/docprovider/src/yprovider.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages/docprovider/src/yprovider.ts b/packages/docprovider/src/yprovider.ts
index 4061ebeb..af390009 100644
--- a/packages/docprovider/src/yprovider.ts
+++ b/packages/docprovider/src/yprovider.ts
@@ -97,6 +97,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,