Update typing of collaborator

jupyterlab · Oct 24, 2024 · a70e009 · a70e009
1 parent b64b54b
commit a70e009
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/packages/collaboration/src/collaboratorspanel.tsx b/packages/collaboration/src/collaboratorspanel.tsx
@@ -99,12 +99,13 @@ export class CollaboratorsPanel extends Panel {
     const state = this._awareness.getStates() as any;
     const collaborators: ICollaboratorAwareness[] = [];
 
-    state.forEach((value: ICollaboratorAwareness, key: any) => {
+    state.forEach((value: Partial<ICollaboratorAwareness>, key: any) => {
       if (
         this._currentUser.isReady &&
+        value.user &&
         value.user.username !== this._currentUser.identity!.username
       ) {
-        collaborators.push(value);
+        collaborators.push(value as ICollaboratorAwareness);
       }
     });
     this._collaboratorsChanged.emit(collaborators);