WIP: How to exclude filter options which are not available for the current WooCommerce category?

[timmse]

Hi Bart,

Unfortunately, this isn’t possible at the moment, but we are aware of it and will see, how we can improve the filter in the future.

Best regards,
timmse