GitOrigin-RevId: 92e81160b34207a215113a2af93206ca623adb52
@@ -1,4 +1,5 @@
export interface WritefullWindow {
+ isLoaded?: boolean
cm6?: any
overleafUserId?: string
}