From a2f683fe644fded868c536909907282555b1b777 Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <marco@gnome.org>
Date: Sun, 30 Jan 2005 18:44:26 +0000
Subject: 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
---
(limited to 'shell')

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;
--
cgit v0.9.1