Hi Radek, thanks a lot for taking the effort to file this bug. I need to look into it. The issue might be that the font is set. It might not change with theme changes. I will look into it. Thanks again!
Hi Radek, thanks a lot for taking the effort to file this bug. I need to look into it. The issue might be that the font is set. It might not change with theme changes. I will look into it.
Thanks again!