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

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Wed, 08 May 2019 09:39:58 -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.

> > when we produce line numbers, so that we start the layout of the rest
> > of the line with the height of, say, 1 pixel, and let the rest of the
> > line's text enlarge that as needed.  But doing this naïvely would
> > backfire with various special cases, like empty lines, lines with
> > characters whose font-provided height is small, etc.: those lines will
> > appear smaller in height,
> 
> Smaller than what?

Smaller than other lines.

> AFAICT they wouldn't appear any smaller than when line-numbers are
> turned off, or would they?

They might, I'm not sure.