diff options
author | Kristian Høgsberg <krh@redhat.com> | 2005-04-01 07:24:36 (GMT) |
---|---|---|
committer | Kristian Høgsberg <krh@src.gnome.org> | 2005-04-01 07:24:36 (GMT) |
commit | 40189c94ae17f6c54a8e28d37755f5d596a4cd4f (patch) | |
tree | 3862821942792f5b6b9dc40cfe26ce2fb690ce9e /viewer | |
parent | c3c50adc936b117b89587d13be0ddc76f77dcb18 (diff) |
Implement search based on poppler_page_find_text(). Currently a bit crude
2005-04-01 Kristian Høgsberg <krh@redhat.com>
* pdf/ev-poppler.cc: Implement search based on
poppler_page_find_text(). Currently a bit crude since we remember
all matches from all pages. Also, we grab the big document lock
when we search since searching changes the underlying stream and
thus conflicts with the rendering thread.
* shell/ev-view.c: (draw_rubberband), (highlight_find_results),
(jump_to_find_page), (ev_view_set_document), (ev_view_find_next),
(ev_view_find_previous): Fix some page indexes to be 0 based,
offset rubber band by view offset,
Diffstat (limited to 'viewer')
0 files changed, 0 insertions, 0 deletions