To give a starting point, I think it may be related to this topic:
I experienced this on windows with a scaling factor of 125%. To be honest, I didn’t investigate any further because it is not the most important issue for me, but if multiple developers run into this problem, it may be worth fixing…
