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

[Stefan Monnier]

> :-).  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.


        Stefan