Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update codemirror plugin to support undo #45

Merged
merged 3 commits into from
Apr 26, 2024
Merged

Update codemirror plugin to support undo #45

merged 3 commits into from
Apr 26, 2024

Conversation

paulsonnentag
Copy link
Collaborator

This pull request updates the automerge-codemirror plugin, which fixes support for history (automerge/automerge-codemirror#11)

The expected behavior is that you can undo and redo changes. Codemirror doesn't discriminate between changes made by you vs. synced changes made by others. All changes share a single undo/redo stack. The stack is reset every time you reload the page.

Copy link

netlify bot commented Apr 25, 2024

Deploy Preview for tee-production ready!

Name Link
🔨 Latest commit 7f1bf46
🔍 Latest deploy log https://app.netlify.com/sites/tee-production/deploys/662b54a9c34f4b0008821b29
😎 Deploy Preview https://deploy-preview-45--tee-production.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

Copy link

netlify bot commented Apr 25, 2024

Deploy Preview for tangerine-dolphin-eefe36 ready!

Name Link
🔨 Latest commit 7f1bf46
🔍 Latest deploy log https://app.netlify.com/sites/tangerine-dolphin-eefe36/deploys/662b54a954d42e000861f403
😎 Deploy Preview https://deploy-preview-45--tangerine-dolphin-eefe36.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@paulsonnentag paulsonnentag merged commit 7c6474a into main Apr 26, 2024
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant