[Top][All Lists]

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

Re: Native line numbers landed on master

From: Stefan Monnier
Subject: Re: Native line numbers landed on master
Date: Tue, 11 Jul 2017 13:48:03 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux)

> As long as we (or, rather, you) tell others to prefer that style, it's
> not way down the list.

I didn't tell anyone to prefer that style, actually (or at least,
I tried to write it such that it doesn't say that, maybe I failed).
I just wanted to point out that recentish changes make the difference
between 'foo and #'foo slightly more visible and as a result you might
like to reconsider your recommendation to strip the #.  You might still
decide that the # is too ugly to keep it where it's not
absolutely needed.


reply via email to

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