Thanks. I will try.

I’m trying to find the code piece where the input is defined:
<input class="result-input" name="xxx" type="hidden" value="">

I don’t find this back in woodmart\inc\shortcodes\product-filters.php

Which file do I need?