Follow-up from "Feature/#82 search userdoc"
The following discussion from !76 (merged) should be addressed:
-
@hynek started a discussion: (+2 comments) the logic of applying and removing filters seems to be irritating: the plus sign should apply the filter, the minus sign should remove the filter, clicking the name should switch between the two; also, "apply all" and "remove all" should be provided (aka reset filters).