diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-04-22 17:23:22 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-04-22 17:23:22 (GMT) |
commit | 6f9c323060b20673516f786ff19443779f551fae (patch) | |
tree | ee2adb13bab123e85979a788694ea5a8f65b1a07 /shell | |
parent | 3a8f24fb2042df02049d0a94ee4c885962ac979e (diff) |
Fix find on single page documents
2005-04-22 Marco Pesenti Gritti <mpg@redhat.com>
* pdf/ev-poppler.cc:
* shell/ev-view.c: (highlight_find_results):
Fix find on single page documents
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-view.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index 796aadd..b9d9ab2 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -537,11 +537,11 @@ highlight_find_results (EvView *view) g_return_if_fail (EV_IS_DOCUMENT_FIND (view->document)); find = EV_DOCUMENT_FIND (view->document); -#if 0 + ev_document_doc_mutex_lock (); results = ev_document_find_get_n_results (find, view->current_page); ev_document_doc_mutex_unlock (); -#endif + for (i = 0; i < results; i++) { EvRectangle rectangle; GdkRectangle view_rectangle; |