office/evince
office/evince
1
0
Fork 0
mirror of https://gitlab.gnome.org/GNOME/evince synced 2024-07-05 00:59:07 +00:00
Code Issues Projects Releases Wiki Activity

Add a setting to disable auto-reload

Browse Source 
https://bugzilla.gnome.org/show_bug.cgi?id=669265
This commit is contained in:
Carlos Garcia Campos 2012-02-12 12:09:39 +01:00
parent 7de75a257a
commit a5a0f6e2c6
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
data/org.gnome.Evince.gschema.xml.in
View File

@ -12,6 +12,11 @@
<_summary>Override document restrictions</_summary>
<_description>Override document restrictions, like restriction to copy or to print.</_description>
</key>
<key name="auto-reload" type="b">
<default>true</default>
<_summary>Automatically reload then document</_summary>
<_description>The document is automatically reloaded on file change.</_description>
</key>
<child name="default" schema="org.gnome.Evince.Default"/>
</schema>

5
shell/ev-window.c
View File

@ -245,6 +245,7 @@ struct _EvWindowPrivate {
#define GS_SCHEMA_NAME "org.gnome.Evince"
#define GS_OVERRIDE_RESTRICTIONS "override-restrictions"
#define GS_AUTO_RELOAD "auto-reload"
#define SIDEBAR_DEFAULT_SIZE 132
#define LINKS_SIDEBAR_ID "links"
@ -1536,7 +1537,9 @@ static void
ev_window_document_changed (EvWindow *ev_window,
gpointer user_data)
{
ev_window_reload_document (ev_window, NULL);
if (ev_window->priv->settings &&
g_settings_get_boolean (ev_window->priv->settings, GS_AUTO_RELOAD))
ev_window_reload_document (ev_window, NULL);
}
static void