Window font-size change?

When minimizing the window first and then restoring the window, the font size seems to be different from that when it was just started. What may be the reason for this?

version 1.25

@helloworld thank you for the discussion, I’ve never seen the issue myself, do you mind writing the full reproduction steps on how to reproduce? Also, if possible a small video might also help.

I’ve set the zoom of the window before, so this may not be a problem…

Gif can’t see clearly, so an MP4 file is placed on GitHub