>
> Did you try setting auto-save-interval to a large value, in addition to
> above?
>

No difference.
Otherwise, it will not get smoothly to scroll back to those has been viewed
/ fontified.