[Yang Yang]

OK, thank you! Before posting this suggestion I though there must be a reason for the bitmap font and it might be related to HDPI screens… Actually that’s a major reason that pushed me to upgrade from v10 to v16 on my new laptop.

Not an easy workaround, but when it’s done, what a pleasure to the eyes! :)