bug#20404: 25.0.50; Sometimes no fontification with jit-lock-defer-time

[Eli Zaretskii]

> From: Tassilo Horn <tsdh@gnu.org>
> Cc: monnier@IRO.UMontreal.CA,  acm@muc.de,  20404@debbugs.gnu.org
> Date: Thu, 23 Apr 2015 06:15:25 +0200
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> From: Tassilo Horn <tsdh@gnu.org>
> >> Date: Wed, 22 Apr 2015 22:10:21 +0200
> >> Cc: Alan Mackenzie <acm@muc.de>, 20404@debbugs.gnu.org
> >> 
> >> Maybe keyboard events don't count as pending input?
> >
> > ??? Of course they do.
> 
> Well, then jit-lock-defer-time == 0 doesn't work here as documented.  It
> doesn't seem to defer anything although there must be dozens or hundreds
> of pending keyboard events when I press and hold `C-v'.

I think I explained this back when there was a very long discussion of
Alan's fast-but-imprecise-scrolling patch.