wip: add extension.name

2021-04-15 22:03:45 +02:00
parent 016bda4010
commit 05434afc47
9 changed files with 60 additions and 42 deletions
--- a/docs/src/demos/Examples/CollaborativeEditing/index.vue
+++ b/docs/src/demos/Examples/CollaborativeEditing/index.vue
@@ -70,7 +70,7 @@ export default {

    this.editor = new Editor({
      extensions: [
-        ...defaultExtensions().filter(extension => extension.config.name !== 'history'),
+        ...defaultExtensions().filter(extension => extension.name !== 'history'),
        Highlight,
        TaskList,
        TaskItem,