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/87a4ebf6-3e5d-45a1-a9cc-b1598f10a9a9n%40googlegroups.com.
