I remember making a hard-coded compromise font-size to make sure it displayed "reasonably" across all platforms and OS versions. Fonts are a huge PITA in Tkinter--especially when cross-platform variables are thrown into the mix. But I'll see what I can do. At the very least, I should be able to create a user preference that users can tweak in the json preferences file.
I gotta say, though, that even with my tired, old blurry eyes, the font-size in that screenshot wouldn't give me any trouble. As such; I certainly wouldn't want to hard-code a new font-size any larger than that for everyone. So I'll have to ponder how best to tackle giving users a choice in the matter.
|