On Wed, 4 Dec 2013 05:38:58 -0600 "Edward K. Ream" <[email protected]> wrote:
> In another email, maybe a private one to me, you mention that not having > the indicated font installed would produce giant fonts as well. Is the > problem with pt vs. px as severe with all fonts installed? I'm not sure about that any more, couldn't seem to get reproducible results related to installed / not installed fonts, just related to the px / pt thing. > It seems incredible that 10pt a-specific-installed-font > > could vary wildly depending on platform. > > Surely, using pt for fonts in leoSettings.leo is what "must" be done, even > if it causes some problems on some machine. The alternative, using px, > just seems ridiculous. I agree it's wrong, but as far as I can tell, 14pt looks ok on your machine (do you have the windows "Large fonts" setting etc, btw?), but oddly large as a starting point on other Win 7 installs. Because Leo doesn't run on smart phones, the monitors it's running on in the wild probable range from 15" laptops at 1366x768 or 1024x768 to 24" monitors running 1920x1080, with things like 17" laptops at 1920x1080 making it interesting. I suspect that, although it will vary, 14px is actually more typically in a usable size range than 14pt on those systems, even though that's not the way it should be. After all that, just checking current on another scrubbed win 7 system, I guess it's not that big, just a little bigger than you'd expect, particularly for log text. Here's what I'm seeing: http://pbrd.co/189N5CH So maybe let's just leave it alone until it causes a problem. Cheers -Terry -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
