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

[Alan Mackenzie]

Hello, Stefan.

On Mon, Nov 24, 2014 at 09:37:34AM -0500, Stefan Monnier wrote:
> > :-).  I had quite some trouble coming up with a name for the option.
> > Something like
> > `assume-default-face-for-nondisplayed-screens-in-scrolling' would be
> > more accurate, but a bit of a mouthful.  If you've any suggestions for
> > improvement, post them!

> I think a better name would hint at something like "imprecise scrolling"
> rather than at "face"s since users think of faces as something that's
> purely visual and (like Tassilo) would then be surprised that the option
> did not disable the faces.

Pleasantly surprised, I hope.  ;-)

Maybe fast-but-imprecise-scrolling for the name?

How about David K's suggestion (slightly modified)
preempt-font-lock-when-scrolling?

>         Stefan

-- 
Alan Mackenzie (Nuremberg, Germany).