Themes: What is the setting to change the gutter font size?

[tbp1...@gmail.com]

I haven't been able to find a setting for specifying the gutter font size.  When I change the default theme to use 10pt text, the gutter numbers look like they stay at 12 pt (although they line up properly).  I have searched both the default theme  and LeoPyRef, and haven't found it so far.

Pre-themes, I think it used the body font size.

[Edward K. Ream]

On Wed, Dec 23, 2020 at 11:24 PM tbp1...@gmail.com <tbp1...@gmail.com> wrote:

I haven't been able to find a setting for specifying the gutter font size. 

leoSettings.leo contains a "Gutter Fonts" node, with four settings, but you probably already know that.

One of those settings is @string gutter-font-size = @small-font-size. Did you change this setting?

Searching through Leo's core sources, I see that Leo only uses the @bool use-gutter setting.

I suspect that your theme's stylesheet doesn't support gutter-font-size. My personal style sheet contained:

QFrame#gutter {
  background: gray;
}

Changing this to the following worked for me:

QFrame#gutter {
  font-size: 20pt;
  background: gray;
}

HTH.

Edward

[tbp1...@gmail.com]

On Thursday, December 24, 2020 at 6:43:31 AM UTC-5 Edward K. Ream wrote:

On Wed, Dec 23, 2020 at 11:24 PM tbp1...@gmail.com <tbp1...@gmail.com> wrote:

I haven't been able to find a setting for specifying the gutter font size. 

leoSettings.leo contains a "Gutter Fonts" node, with four settings, but you probably already know that.

One of those settings is @string gutter-font-size = @small-font-size. Did you change this setting?

No, I thought all theme settings have been moved into the theme outline, and I didn't think to look there.

 

Searching through Leo's core sources, I see that Leo only uses the @bool use-gutter setting.

I suspect that your theme's stylesheet doesn't support gutter-font-size. My personal style sheet contained:

QFrame#gutter {
  background: gray;
}

I did find that one, but didn't know what should be in there. I'm not clear if it's a standard css stylesheet or whether Leo processes it in some way.   Can it use one of the parameterized values, like @medium-font-size?

[Edward K. Ream]

On Thu, Dec 24, 2020 at 8:33 AM tbp1...@gmail.com <tbp1...@gmail.com> wrote:

I suspect that your theme's stylesheet doesn't support gutter-font-size. My personal style sheet contained:

QFrame#gutter {
  background: gray;
}

I did find that one, but didn't know what should be in there. I'm not clear if it's a standard css stylesheet or whether Leo processes it in some way.   Can it use one of the parameterized values, like @medium-font-size?

The fragment is part of a standard stylesheet, and Leo does pre-process that sheet, substituting parameterized values.

When in doubt, use the show-settings and show-stylesheet commands.

Edward