merge main

This commit is contained in:
Dominik Biedebach 2024-01-11 13:39:25 +01:00
commit cf9cb28302

View File

@ -124,7 +124,7 @@ export const Collaboration = Extension.create<CollaborationOptions>({
undoManager.restore = () => {} undoManager.restore = () => {}
} }
const viewRet = originalUndoPluginView ? originalUndoPluginView(view) : undefined const viewRet = originalUndoPluginView ? originalUndoPluginView(view) : null
return { return {
destroy: () => { destroy: () => {
@ -142,7 +142,7 @@ export const Collaboration = Extension.create<CollaborationOptions>({
undoManager._observers = observers undoManager._observers = observers
} }
if (viewRet?.destroy) { if (viewRet && viewRet.destroy) {
viewRet.destroy() viewRet.destroy()
} }
}, },