manually merge HTMLAttributes

This commit is contained in:
Philipp Kühn
2020-11-25 09:50:54 +01:00
parent 7a058b9c2f
commit ddc71f792a
21 changed files with 88 additions and 41 deletions

View File

@@ -1,6 +1,9 @@
import { Extension } from '@tiptap/core'
import {
redo, undo, ySyncPlugin, yUndoPlugin,
redo,
undo,
ySyncPlugin,
yUndoPlugin,
} from 'y-prosemirror'
export interface CollaborationOptions {