font size in urls

[Kent Tenney]

Howdy,

Leo is recognizing urls and rendering them in a large font, underlined.
I prefer they be the same size as other text.
I checked
@setting
@font url

but it seems something else is making the change.
Plugin?

Thanks,
Kent

[Edward K. Ream]

On Thu, Nov 3, 2011 at 4:13 PM, Kent Tenney <kte...@gmail.com> wrote:

> Leo is recognizing urls and rendering them in a large font, underlined.
> I prefer they be the same size as other text.

For questions like this, do print-settings. Doing so shows something like::

urlcolor = purple
urlfontfamily = DejaVu Sans Mono
urlfontsize = 18
urlfontslant = None
urlfontweight = bold

This should be enough for you to find::

leoSettings.leo#@settings-->Appearance-->Fonts-->@font url font

Edward

[Kent Tenney]

Right, I'd looked at that node and seen
url_font_family = DejaVu Sans Mono
url_font_size = 12
# 14 & 16 look great
url_font_slant = None
url_font_weight = bold

and <print-settings> shows

urlcolor = purple
urlfontfamily = DejaVu Sans Mono

urlfontsize = 12

urlfontslant = None
urlfontweight = bold

Yet the font is very large, so I'm wondering where the large
font size is coming from.

Thanks,
Kent
>
> 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-e...@googlegroups.com.
> To unsubscribe from this group, send email to leo-editor+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
>
>

[Edward K. Ream]

On Thu, Nov 3, 2011 at 7:53 PM, Kent Tenney <kte...@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

[Josef]

On Nov 4, 3:21 am, "Edward K. Ream" <edream...@gmail.com> wrote:

> 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

Leo 4.9 renders urls in the same size as normal text, but recent
versions render them much larger. I use Leo on Ubuntu 10.04 LTS.

- Josef

[Edward K. Ream]

On Mon, Nov 7, 2011 at 3:49 PM, Josef <joe...@gmx.net> wrote:

>> There seems to be a difference in how fonts are handled in Windows and Linux.

> Leo 4.9 renders urls in the same size as normal text, but recent

> versions render them much larger. I use Leo on Ubuntu 10.04 LTS.

What does the print-settings command report for urlfontsize?

Edward