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

[Stefan Monnier]

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

I know the feeling.

> Maybe you are right, and I'm haunted by a problem that doesn't exist.

If it's easy to implement, we could just try it:
Even if it turns out to make some cases worse, we do know it will
make some cases better, so there's a good chance that it's
a win overall.


        Stefan