diff options
| author | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-06-16 10:53:53 (GMT) |
|---|---|---|
| committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-06-16 10:53:53 (GMT) |
| commit | 65f4c3cf495bcf8eddb00f140440093a94e3795f (patch) | |
| tree | 84394712f0a35ced21a0ce51b8ccc095ccffe877 /shell/ev-window.c | |
| parent | fc30ad816768469371512bdf3e8c29fbe830a9cd (diff) | |
[shell] Reload presentation view when document changes
Fixes bug #621750.
Diffstat (limited to 'shell/ev-window.c')
| -rw-r--r-- | shell/ev-window.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/shell/ev-window.c b/shell/ev-window.c index 0cfbbb3..46ccffb 100644 --- a/shell/ev-window.c +++ b/shell/ev-window.c @@ -1300,6 +1300,12 @@ ev_window_set_document (EvWindow *ev_window, EvDocument *document) _("The document contains only empty pages")); } + if (EV_WINDOW_IS_PRESENTATION (ev_window)) { + gtk_widget_destroy (ev_window->priv->presentation_view); + ev_window->priv->presentation_view = NULL; + ev_window_run_presentation (ev_window); + } + if (ev_window->priv->setup_document_idle > 0) g_source_remove (ev_window->priv->setup_document_idle); |