#585 - trigger change event on filter convenience buttons

src/main/resources/static/js/filter.js

@@ -89,5 +89,6 @@ function setAll(identifier, checked)
     for(let i = 0; i < checkboxes.length; i++)
     {
         checkboxes[i].checked = checked;
+        checkboxes[i].dispatchEvent(new Event('change'));
     }
 }
\ No newline at end of file