diff options
| author | Marco Pesenti Gritti <marco@gnome.org> | 2005-01-20 12:16:53 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-01-20 12:16:53 (GMT) |
| commit | ac6e61a0860b741e22072696e0ac6a78e386db0d (patch) | |
| tree | 0a64003e1f656e08e289a0a4a4107d7f42df92f2 /pdf | |
| parent | a601c252dae06def4379c838ed176955903b34c9 (diff) | |
Show a wait cursor while the page is rendering
2005-01-20 Marco Pesenti Gritti <marco@gnome.org>
* pdf/xpdf/pdf-document.cc:
* shell/ev-view.c: (ev_view_set_cursor),
(ev_view_motion_notify_event), (document_changed_callback),
(set_document_page):
Show a wait cursor while the page is rendering
Diffstat (limited to 'pdf')
| -rw-r--r-- | pdf/xpdf/pdf-document.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pdf/xpdf/pdf-document.cc b/pdf/xpdf/pdf-document.cc index 0a70edb..2ec9d5e 100644 --- a/pdf/xpdf/pdf-document.cc +++ b/pdf/xpdf/pdf-document.cc @@ -149,6 +149,8 @@ document_validate_page (PdfDocument *pdf_document) pdf_document->page_valid = TRUE; + ev_document_changed (EV_DOCUMENT (pdf_document)); + /* Update the search results available to the app since * we only provide full results on the current page */ @@ -274,8 +276,6 @@ pdf_document_set_page (EvDocument *document, pdf_document->page = page; pdf_document->page_valid = FALSE; } - - ev_document_changed (document); } static int |