In particular, do you have multiple monitors with different DPI, from your screenshot it looks like the effective font size is being calculated for a different DPI than the DPI of the monitor the window is on.
In particular, do you have multiple monitors with different DPI, from
your screenshot it looks like the effective font size is being
calculated for a different DPI than the DPI of the monitor the window is
on.