GNOME Bugzilla – Bug 784463
Feature Request: Configurable HEAD request frequency for remote files
Last modified: 2018-05-22 17:11:38 UTC
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. More Info: 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. <snip> 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); </snip>
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/evince/issues/793.