On Tue, Dec 3, 2013 at 3:50 PM, Terry Brown <[email protected]> wrote:
> Googling around it seems you can't reliably use pt as the unit for > fonts because different systems have different views of display DPI. > Thanks for your research, Terry. You are a gem. 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? 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. Edward -- 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.
