We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Child of Issue #11
This can be done by having all user interactions create events which are saved once executed. All actions have an undo action.
The text was updated successfully, but these errors were encountered:
Implement undo for adding nodes. (Issue #12)
064aff1
Further changes required:
Sorry, something went wrong.
Issue #12: Use global IDs that are unique for the entire duration of …
5cdfd12
…the program. This will prevent cherry-picked history actions from having conflicting IDs.
f13a9d1
rgleichman
No branches or pull requests
Child of Issue #11
This can be done by having all user interactions create events which are saved once executed. All actions have an undo action.
The text was updated successfully, but these errors were encountered: