bug#12876: 24.3.50; DocView problem with cached files

[Tassilo Horn]

Stephen Berman <stephen.berman@gmx.net> writes:

>> It'll also work, but chances increase that the page-setting is
>> deferred another fraction again.  I tried to set the value so that
>> it's not inconvenient but at the same time shouldn't need to delay
>> again on slower systems.
>
> How about making it customizable?

Surely that could be done.  But I have no idea about a good description
not involving technical details that users shouldn't have to care about.
So maybe using a shorter delay is ok.  After all, using doc-view is
computational intensive anyhow (at least the conversion with gs and
friends)...

Anyway, before going any further, I'd like to wait for Stefan telling us
if that's the right approach altogether.

Bye,
Tassilo