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/03cc6cc3-a71a-4d9d-9303-1667283e0e50n%40googlegroups.com.
