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 tbp1...@gmail.com 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 tbp1...@gmail.com >>> 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/4d24278c-91e4-4414-86b1-2be515466728n%40googlegroups.com.
