GitOrigin-RevId: df03621221ecacffe50cb805fd3a2fd71ce773a7
@@ -361,6 +361,7 @@ export const EditorManagerProvider: FC = ({ children }) => {
)
newDocument.leaveAndCleanUp()
reject(new Error('another document was loaded'))
+ return
}
bindToDocumentEvents(doc, newDocument)
resolve(newDocument)