[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: jit-lock-antiblink-grace
From: |
Eli Zaretskii |
Subject: |
Re: jit-lock-antiblink-grace |
Date: |
Sun, 01 Dec 2019 20:13:38 +0200 |
> 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.
- Re: jit-lock-antiblink-grace,
Eli Zaretskii <=