Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Deletes annotations via eraser tool #250
This fixes #169 by deleting annotations that are completely erased with the eraser tool on mouse up.
I tested this on the development build and found that it works by generating annotations and erasing them. Before the annotations would hang around as empty annotations and a point in the center would appear after erasing an annotation. Annotation IDs are reordered correctly as well when annotations are deleted.