Scroll at the top of the page when changing page

2005-01-30  Marco Pesenti Gritti  <marco@gnome.org>

        * shell/ev-view.c: (set_document_page):

        Scroll at the top of the page when changing page

diff --git a/ChangeLog b/ChangeLog
index 62b8d1c9e3a39c3acdca54eb760ac59ddbec75da..be281d12b124500a52fc47830473bfe467222598 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2005-01-30  Marco Pesenti Gritti  <marco@gnome.org>
+
+       * shell/ev-view.c: (set_document_page):
+
+       Scroll at the top of the page when changing page
+
 2005-01-30  Marco Pesenti Gritti  <marco@gnome.org>
 
        * shell/ev-view.c: (ev_view_motion_notify_event):

diff --git a/shell/ev-view.c b/shell/ev-view.c
index 280b4cf6b55a1c0836cc92a6f3b80d0737ca2b69..947feeff1edbed0fe2f99a2c461dd811acfa3b01 100644 (file)
--- a/shell/ev-view.c
+++ b/shell/ev-view.c
@@ -965,6 +965,9 @@ set_document_page (EvView *view, int page)
                                                   &width, &height);
                        if (width != old_width || height != old_height)
                                gtk_widget_queue_resize (GTK_WIDGET (view));
+
+                       gtk_adjustment_set_value (view->vadjustment,
+                                                 view->vadjustment->lower);
                }
 
                view->find_page = page;