From a2f683fe644fded868c536909907282555b1b777 Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Sun, 30 Jan 2005 18:44:26 +0000 Subject: [PATCH] Scroll at the top of the page when changing page 2005-01-30 Marco Pesenti Gritti * shell/ev-view.c: (set_document_page): Scroll at the top of the page when changing page --- ChangeLog | 6 ++++++ shell/ev-view.c | 3 +++ 2 files changed, 9 insertions(+) diff --git a/ChangeLog b/ChangeLog index 62b8d1c9..be281d12 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2005-01-30 Marco Pesenti Gritti + + * shell/ev-view.c: (set_document_page): + + Scroll at the top of the page when changing page + 2005-01-30 Marco Pesenti Gritti * 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; -- 2.43.5