Re: Native display of line numbers

[Eli Zaretskii]

> Date: Sun, 18 Jun 2017 17:54:31 +0300
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden
> 
> > It is nice to have native line numbers. They work with a non-default
> > background, correctly handle line wrapping, and even when their face
> > is customized to a smaller size. (In a larger size, their tops get
> > truncated, but that’s firmly in the “don’t to that, then” territory.)
> 
> Hmm... that ought to work.  Something's amiss, I'll take a look.

A bug, for sure.  Now fixed (but not pushed yet).