|
From: | Paul W. Rankin |
Subject: | Re: master 2399541: Remove font-lock toggle from font-lock-update |
Date: | Thu, 25 Mar 2021 03:43:56 +1000 |
User-agent: | Purely Mail via Roundcube/1.4.10 |
On 2021-03-25 02:03, Lars Ingebrigtsen wrote:
So I've reverted Paul's change. I think the command can be improved, but pushing a change like this in the middle of a discussion is not the way to do it.
No worries. I thought of pushing a change as the nicer alternative to a revert. To be blunt, the code ought to be reverted (for the reasons already stated).
[Prev in Thread] | Current Thread | [Next in Thread] |