[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eli Zaretskii
Subject: Re: Line height issues with display-line-number-mode
Date: Wed, 08 May 2019 17:05:14 +0300

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]