There is actually some CSS styling possible for the gutter:
A logical setting: @string font-size-gutter = 9pt
and in the theme's stylesheet:
QFrame#gutter {
font-size: @font-size-gutter;
background: @dark-base02;
}
On Thursday, January 5, 2023 at 12:38:58 PM UTC-5 jkn wrote:
> Heh, I was thinking of looking for a setting named that, for curiosity's
> sake if nothing else. Thanks for beating me to it...
>
> On Thursday, January 5, 2023 at 2:54:48 PM UTC [email protected] wrote:
>
>> I see in LeoPyRef that there is also a setting *gutter-w-adjust*. A
>> comment says its function is to provide extra room for bolding the line
>> number of the current line. Its default value seems to work for me (a good
>> thing because I didn't know about it before now).
>>
>> The line numbers are not applied using CSS styles. They are directly
>> painted into the gutter area.
>>
>> On Thursday, January 5, 2023 at 3:42:56 AM UTC-5 jkn wrote:
>>
>>> A gutter-y-adjust value of 2 or 3 seems to work well for my current
>>> theme/font settings, thanks!
>>>
>>>
>>> On Thursday, January 5, 2023 at 7:52:03 AM UTC jkn wrote:
>>>
>>>> Ah brilliant, thanks. I didn't know about the gutter-y-adjust setting.
>>>> I do appreciate that getting it right programatically, for all fonts etc,
>>>> would be tricky/impractical...
>>>>
>>>> On Wednesday, January 4, 2023 at 11:08:17 PM UTC [email protected]
>>>> wrote:
>>>>
>>>>> Yes indeed, and there is a setting to adjust for the misalignment. @int
>>>>> gutter-y-adjust = 7 works for my current theme. I've been known to
>>>>> have to go up to 12. I forget how I learned about this setting, it's
>>>>> been
>>>>> too long.
>>>>>
>>>>> On Wednesday, January 4, 2023 at 3:18:12 PM UTC-5 jkn wrote:
>>>>>
>>>>>> This is a pretty tiny scratch, but: does anyone else notice that the
>>>>>> line numbers
>>>>>> in the body pane border are slightly misaligned with the actual lines
>>>>>> in the body?
>>>>>>
>>>>>> For me, numbers in the border are a little lower than the lines in
>>>>>> the body.
>>>>>>
>>>>>> I am sure this depends on the fonts set and their metrics; just
>>>>>> curious if anyone else has this.
>>>>>>
>>>>>> Regards, J^n
>>>>>>
>>>>>>
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/d245d2b6-2951-48b1-9c30-233cd25c79ccn%40googlegroups.com.
