On Thu, Nov 3, 2011 at 7:53 PM, Kent Tenney <kten...@gmail.com> wrote:
> Right, I'd looked at that node and seen > url_font_family = DejaVu Sans Mono > url_font_size = 12 > Yet the font is very large, so I'm wondering where the large > font size is coming from. There seems to be a difference in how fonts are handled in Windows and Linux. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to leo-editor@googlegroups.com. To unsubscribe from this group, send email to leo-editor+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.