on some display, position editor height is too large

[benckx]

It happens when I use my Dell laptop that has a 4K screen and Linux Mint has a 150% upscale. I don't know if it's because of that or something else.