Merged
Feature: "Cancel" newly-created unsaved node/edge removes it#110
Commits
Commits on Nov 30, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed