diff options
author | Martin Kretzschmar <martink@src.gnome.org> | 2005-01-20 22:27:28 (GMT) |
---|---|---|
committer | Martin Kretzschmar <martink@src.gnome.org> | 2005-01-20 22:27:28 (GMT) |
commit | 0fbeb6dce7d8a42870a9a6bcf935dff7510ab466 (patch) | |
tree | 9accb4f1aeb5b55705ceab3e10be9b472f391e4c /shell | |
parent | cfeed356a2c4066efc257449dbc3c386982f819d (diff) |
(set_document_page): handle paper size changes when the page
changes (test with Free Culture, page 2).
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-view.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index b10790d..45fc014 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -1102,6 +1102,10 @@ set_document_page (EvView *view, int page) { if (view->document) { int old_page = ev_document_get_page (view->document); + int old_width, old_height; + + ev_document_get_page_size (view->document, + &old_width, &old_height); if (old_page != page) { ev_view_set_cursor (view, EV_VIEW_CURSOR_WAIT); @@ -1109,9 +1113,16 @@ set_document_page (EvView *view, int page) } if (old_page != ev_document_get_page (view->document)) { + int width, height; + g_signal_emit (view, page_changed_signal, 0); view->has_selection = FALSE; + ev_document_get_page_size (view->document, + &width, &height); + if (width != old_width || height != old_height) + gtk_widget_queue_resize (GTK_WIDGET (view)); + view->find_percent_complete = 0.0; update_find_results (view); } |