Merge pull request #1635 from hypothesis/1591-clear-filter-if-selection-is-empty
Update selectedAnnotations at annotationUpdate event.
Showing
Please register or sign in to comment
Update selectedAnnotations at annotationUpdate event.