diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2005-02-04 12:18:26 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-02-04 12:18:26 (GMT) |
commit | 1cb865554fcb40760784a30c7700b6a751567762 (patch) | |
tree | 38864ca275068726b29186065f5546ae5a8dd267 /backend/ev-document-find.c | |
parent | 826131fb75fadb602b375ba29e593d1e0ab3dde8 (diff) |
Fix several bugs with find
2005-02-04 Marco Pesenti Gritti <marco@gnome.org>
* backend/ev-document-find.c: (ev_document_find_changed):
* backend/ev-document-find.h:
* pdf/xpdf/pdf-document.cc:
* shell/ev-view.c: (jump_to_find_result), (ev_view_set_document):
* shell/ev-window.c: (find_bar_search_changed_cb):
Fix several bugs with find
Diffstat (limited to 'backend/ev-document-find.c')
-rw-r--r-- | backend/ev-document-find.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/ev-document-find.c b/backend/ev-document-find.c index 48c01d8..5c1fbe4 100644 --- a/backend/ev-document-find.c +++ b/backend/ev-document-find.c @@ -121,4 +121,3 @@ ev_document_find_changed (EvDocumentFind *document_find, int page) { g_signal_emit_by_name (document_find, "find_changed", page); } - |