Re: jit-lock-antiblink-grace

[Eli Zaretskii]

> From: João Távora <address@hidden>
> Date: Sat, 30 Nov 2019 22:00:24 +0000
> Cc: address@hidden, address@hidden, address@hidden
> 
> >> > Isn't this the new behavior?
> >> 
> >> Yes, but in this very particular case, it doesn't gain you anything,
> >> IMO.
> >
> > But you don't lose anything, either, right?
> 
> Depends on how you look at it.  Let me try to explain.

Thanks.  I still think this is very much like the old behavior, so I
wouldn't be bothered by it.