[Top][All Lists]

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

Re: Native display of line numbers

From: Eli Zaretskii
Subject: Re: Native display of line numbers
Date: Sat, 24 Jun 2017 13:32:29 +0300

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

reply via email to

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