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/bbeb4743-8bd6-4a75-b739-7bac9e71e5acn%40googlegroups.com.
