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

redraw arrows when editing existing document #388

Merged
merged 3 commits into from
Mar 8, 2022

Conversation

kentis
Copy link
Contributor

@kentis kentis commented Mar 8, 2022

No description provided.

@github-actions
Copy link

github-actions bot commented Mar 8, 2022

⚠️ The library version was not updated.
Add the label non-functional if this PR does not require a change of version numbers.

Current version: v0.1.38
Main version: v0.1.38

@kentis kentis merged commit 6f70b42 into main Mar 8, 2022
@kentis kentis deleted the feature/show_arrows_again_in_editor branch March 8, 2022 10:21
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.

2 participants