Hello,
Sorry to say but right now there is no option in Theme Settings or at WooCommerce end available for that. It requires Customization and this is beyond our limitations and support policy scope. Hope you can understand our limitations.
You can try consulting the WooCommerce Support in this regard to see if they have any alternative solution available for it or not because the Currency related options as you know are handled at WooCommerce end. The Theme directly doesn’t influence it. Hope you can understand !
Best Regards.