Re: Unfreezing the display during auto-repeated scrolling. Simpler approach.

[Eli Zaretskii]

> Date: Mon, 27 Oct 2014 14:28:01 +0000
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> From: Alan Mackenzie <address@hidden>
> 
> > Please take a look at what jit-lock-defer does.
> 
> It sets a non-nil fontified text-property without doing any
> fontification (yet).  I think you're suggesting "binding"
> jit-lock-defer over the scroll operation, thus inhibiting fontification. 
> 
> I've had a simpler idea: bind fontification-functions to nil over the
> scroll operation.  This avoids many of the pitfalls of my last patch, and
> can be perfectly specific to scrolling by whole screens and nothing else,
> and is much simpler and less intrusive.  It works well.
> 
> Here's a patch, which does precisely that.  Comments welcome, as always:

If jit-lock-defer-time produces the desired effect, I see no need to
have yet another separate knob to achieve the same effect just during
scrolling.