[BUGFIX] Fix search in document filtering and highlighting#11

chrizzor merged 2 commits intoeffective-webwork:5.0.6_subhheffective-webwork/kitodo-presentation:5.0.6_subhhfrom

michaelkubina-subhh:5.0.6_subhh_fix_highlightingmichaelkubina-subhh/kitodo-presentation:5.0.6_subhh_fix_highlightingCopy head branch name to clipboard