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/2fc72aac-4042-4374-bc01-a6d39e52973dn%40googlegroups.com.
