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.h | |
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.h')
-rw-r--r-- | backend/ev-document-find.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/ev-document-find.h b/backend/ev-document-find.h index 3f55667..49c3672 100644 --- a/backend/ev-document-find.h +++ b/backend/ev-document-find.h @@ -77,7 +77,6 @@ double ev_document_find_get_progress (EvDocumentFind *document_find); void ev_document_find_changed (EvDocumentFind *document_find, int page); - /* How this interface works: * * begin() begins a new search, canceling any previous search. |