diff options
author | Nickolay V. Shmyrev <nshmyrev@src.gnome.org> | 2006-02-24 19:13:39 (GMT) |
---|---|---|
committer | Nickolay V. Shmyrev <nshmyrev@src.gnome.org> | 2006-02-24 19:13:39 (GMT) |
commit | eae0b2268b6b4afb3cf1bf76a6358b3d720a3be5 (patch) | |
tree | d0a3eb3dc5d16cd4c3e444b69e4fa34fcb608b0e /shell | |
parent | 43f12175ba221f7c241f0c9cde323c23b8db53e8 (diff) |
Clairfy what page the toolbar page number applies to. Fix for the bug
* backend/ev-document-misc.c: (ev_document_misc_paint_one_page):
* backend/ev-document-misc.h:
* shell/ev-view.c: (draw_one_page):
Clairfy what page the toolbar page number applies to. Fix
for the bug #328102.
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-view.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index 7e77f2e..e599059 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -2123,11 +2123,14 @@ draw_one_page (EvView *view, GdkRectangle overlap; GdkRectangle real_page_area; EvViewSelection *selection; + gint current_page; g_assert (view->document); + if (! gdk_rectangle_intersect (page_area, expose_area, &overlap)) return; - + + current_page = ev_page_cache_get_current_page (view->page_cache); selection = find_selection_for_page (view, page); ev_page_cache_get_size (view->page_cache, page, view->rotation, @@ -2143,7 +2146,8 @@ draw_one_page (EvView *view, ev_document_misc_paint_one_page (GTK_WIDGET(view)->window, GTK_WIDGET (view), - page_area, border); + page_area, border, + page == current_page); if (gdk_rectangle_intersect (&real_page_area, expose_area, &overlap)) { GdkPixbuf *selection_pixbuf = NULL; |