View Single Post
Old 09-28-2018, 08:48 AM   #61
DiapDealer
Grand Sorcerer
DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.DiapDealer ought to be getting tired of karma fortunes by now.
 
DiapDealer's Avatar
 
Posts: 28,675
Karma: 205039118
Join Date: Jan 2010
Device: Nexus 7, Kindle Fire HD
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.
DiapDealer is offline   Reply With Quote