Here's a screenshot on the same system where the font size is set to 12, and the bug no longer reproduced.
Here's a screenshot on the same system where the font size is set to 12, and the bug no longer reproduced.