Support for shop currency

Hello,
into the price range filter I noticed that the US Dollar currency is hardcoded. In my shop, the default currency is Euro, not Dollar, so the price range should be in Euros, not Dollars. Please, could you add support for the default Woocommerce currency?

Thank you