Price slider not changing currency

Hi there! I’m using the Yay Currency Switcher plugin. When switching currency, the price slider filter stays in the default currency.

So for example if the most expensive product costs 100 USD then the price slider goes up to 100. But after switching currency to pesos, the range of the slider should go up to something like 1,800 but it stays at 100. In other words, the filter doesn’t the detect the change of currency, but WooCommerce does: all the price displays throughout the store reflect the change.

Is this a known incompatibility with the Yay Currency Switcher, or alternatively is it a bug that might get resolved in the near future?

I already tried out the WBW currency switcher you make and which presumably wouldn’t have this compatibility issue, but visually it just doesn’t work for our site, unfortunately.

If you are aware of a solution which requires coding that is fine, I’m the author of the theme we are using.