Feature Request: Configurable HEAD request frequency for remote files
Submitted by Rohini
When remote files are opened on evince, the pdf file is downloaded only once. However, multiple HEAD requests are sent to the remote server to get the file's modified time. The modified time is obtained by Evince to reload the file in case the file has been modified on the server.
This is a enhancement request to provide a configurable setting that allows the user to set the frequency of HEAD requests when viewing remote files.
Not creating a file monitor in
shell/ev-window.c temporarily solves the problem. But this is a hack because it removes the file monitor even for local pdf files.
ev_window->priv->monitor = ev_file_monitor_new (ev_window->priv->uri); g_signal_connect_swapped (ev_window->priv->monitor, "changed", G_CALLBACK (ev_window_document_changed), ev_window);