#1320 Hint font too large on windows, recent nightly versions.

[Hangzai Luo]

The hint font becomes too large since ver 12802+ on windows 10. Please see attached picture. The hint font size is expected to the same as the text, or else the hint text will be incomplete. Ver 12802 and earlier are OK. My text font is "Lucida Console" at size 20. The hint font size will zoom according to text font size. So no matter how large the text size is set, the hint font size will always too large. Could you please fix this?

[Miguel Gimenez]

Duplicate of [#1302], see this for a workaround.