diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-09-19 13:25:17 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-09-19 13:25:17 (GMT) |
commit | 8469ab1bef22b59caa4c69293d8c42e2dd7ad6c6 (patch) | |
tree | afe2dbcb4557e6c2d4cc8f469deca37b99408b20 /pdf | |
parent | e044f1f34f994c99ed4cd7744ef3d8af877ca103 (diff) |
Return 0 results when search is not in progress.
2005-09-19 Marco Pesenti Gritti <mpg@redhat.com>
* pdf/ev-poppler.cc:
Return 0 results when search is not in progress.
* shell/ev-window.c: (ev_window_cmd_go_previous_page),
(ev_window_cmd_go_next_page), (find_bar_search_changed_cb):
Update menu sensitivity when cancelling search
Diffstat (limited to 'pdf')
-rw-r--r-- | pdf/ev-poppler.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pdf/ev-poppler.cc b/pdf/ev-poppler.cc index 1dcc7a5..03a27a6 100644 --- a/pdf/ev-poppler.cc +++ b/pdf/ev-poppler.cc @@ -1139,9 +1139,7 @@ pdf_document_find_page_has_results (EvDocumentFind *document_find, { PdfDocumentSearch *search = PDF_DOCUMENT (document_find)->search; - g_return_val_if_fail (search != NULL, FALSE); - - return search->pages[page] != NULL; + return search && search->pages[page] != NULL; } double |