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

1 files changed, 3 insertions, 0 deletions

diff --git a/shell/ev-view.c b/shell/ev-view.c
index 280b4cf..947feef 100644
--- 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;