From: Marco Pesenti Gritti <marco@gnome.org>
Date: Sun, 30 Jan 2005 18:44:26 +0000 (+0000)
Subject: Scroll at the top of the page when changing page
X-Git-Tag: EVINCE_0_1_3~18
X-Git-Url: https://www.fi.muni.cz/~kas/git//home/kas/public_html/git/?a=commitdiff_plain;h=a2f683fe644fded868c536909907282555b1b777;p=evince.git

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 62b8d1c9..be281d12 100644
--- 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 280b4cf6..947feeff 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;