diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2005-01-30 18:44:26 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-01-30 18:44:26 (GMT) |
commit | a2f683fe644fded868c536909907282555b1b777 (patch) | |
tree | b5d39640fdf529026340e5593b2f57ff194050a6 | |
parent | c5067c847ed89efbc92f071c358f9c3c8a47cd33 (diff) |
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
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | shell/ev-view.c | 3 |
2 files changed, 9 insertions, 0 deletions
@@ -1,5 +1,11 @@ 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): Do not redraw unnecessarily 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; |