I think this was caused by my OS-level UI scale setting. I didn’t notice anything with the previous font, but I can adjust it a bit to work around this I think.
Windows 10. I have a large HD monitor, and the default UI is really small, so I use the “make everything bigger” display setting at 150% to compensate. There is a separate “make text bigger” setting, and the problem goes away when I set that to 102%. I’m guessing there’s a slight real difference that was being exaggerated by pixel rounding.
I think this was caused by my OS-level UI scale setting. I didn’t notice anything with the previous font, but I can adjust it a bit to work around this I think.
Interesting. What OS and what setting?
Windows 10. I have a large HD monitor, and the default UI is really small, so I use the “make everything bigger” display setting at 150% to compensate. There is a separate “make text bigger” setting, and the problem goes away when I set that to 102%. I’m guessing there’s a slight real difference that was being exaggerated by pixel rounding.