Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Navigation: fix unable to deselect after editing a sketch
After editing a sketch, it was impossible to deselect the just-edited sketch by clicking empty space (gesture navigation).
- Loading branch information