Re: Line height issues with display-line-number-mode

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Wed, 08 May 2019 10:17:38 -0400
> 
> >> > Btw, any reasons (other than "because we can") why we use these
> >> > tricks, instead of actually producing an underline?
> >> Not sure what "producing an underline" means concretely.
> > Using the 'underline' face, obviously.
> 
> I did guess this part ;-)
> But what text would you apply it to?

See Noam's proposal, for example.

> >> AFAICT they wouldn't appear any smaller than when line-numbers are
> >> turned off, or would they?
> > They might, I'm not sure.
> 
> If it makes them smaller than without line-numbers, then it's indeed
> a problem, but I wonder why/when that would happen.

There are too many use cases related to display, I simply cannot be
sure I remember (or even know) all of them.  Maybe you are right, and
I'm haunted by a problem that doesn't exist.