11 on 4K

The font resolution on a 4K screen seems wrong out of the box, what should I be adjusting?

See the image here: 2018_01_18_14_14_48

I can make it look good by

I can make it look good by setting the font to 16 in the Options but this is not remembered between sessions.

2018_01_18_14_42_08

I cannot reproduce this.

I cannot reproduce this. When I changed the font size, it is remembered between sessions. Can you try it again after a Windows reboot? Thanks, Paul