Merge branch 'main' into feature/new-highlight-extension

This commit is contained in:
Philipp Kühn
2020-11-05 22:35:46 +01:00
22 changed files with 295 additions and 177 deletions

View File

@@ -16,7 +16,6 @@
link: /examples/basic
- title: Collaborative editing
link: /examples/collaborative-editing
premium: true
- title: Markdown shortcuts
link: /examples/markdown-shortcuts
# - title: Menu Bubble
@@ -165,14 +164,11 @@
premium: true
- title: CollaborationCursor
link: /api/extensions/collaboration-cursor
draft: true
premium: true
- title: Dropcursor
link: /api/extensions/dropcursor
draft: true
- title: Focus
link: /api/extensions/focus
draft: true
- title: Gapcursor
link: /api/extensions/gapcursor
- title: History