Re: master 2399541: Remove font-lock toggle from font-lock-update

[Lars Ingebrigtsen]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> Gregory Heytings <gregory@heytings.org> writes:
>
>> Is this what is supposed to happen?  Just forcibly push a change while
>> the discussion is happening, when Stefan told you that your
>> understanding is not right, and when I told you that the command
>> _does_ what "original author" intented?
>
> No, this is not what's supposed to happen.

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.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no