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

[Stefan Monnier]

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

Acceptable.

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

While it might indeed influence font-lock's detailed working under the
hood, this is mostly hidden from the user, so mentioning font-lock is
misleading, just like mentioning "face".  Of course, it also doesn't
"preempt" anything AFAICT, so that part would also be incorrect.


        Stefan