Closed Honny1 closed 1 year ago
This PR adds buttons that deselect or select all checkboxes in the filtering options.
Fixes: #170
This PR adds buttons that deselect or select all checkboxes in the filtering options.
Fixes: #170