Thanks for the help! I started to Google “Gramps gui font size” and similar phrases, and Google suggested this (irrelevant) page in the manual (why is deprecated as I see now, but it still ranks first):
Just two comments from an “average user” perspective (otherwise I’m an applied programmer, but obviously “average user” won’t read 500 pager manuals):
- You may consider modifying your code if it results the same problem on two independent, plain Windows 10 systems, especially if it wasn’t the case in previous versions. “Average user” doesn’t know what is font rendering and doesn’t care for it.
- You may consider adding to the main page of the wiki with at least 72pt red bold fonts “User manual”. “Average user” shouldn’t care for previous versions and translations. “Average user” may also find it useful to find a direct link to the latest user’s manual in the left Wiki menu.
Sorry for being overtly frank, but this is really how I feel.