diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-08-23 08:33:52 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-08-23 08:33:52 (GMT) |
| commit | 8df02504363901b99bfdd0cf79d56b9e92f4f9c3 (patch) | |
| tree | 7927d1c76a15d7074132fd77de8e74a2668288b2 /shell | |
| parent | 0164b34659c495690e3629e5d7c3e71c3efe2cca (diff) | |
Adapt to the new poppler rotation API. Fix text maps on landscape
2005-08-23 Marco Pesenti Gritti <mpg@redhat.com>
* pdf/ev-poppler.cc:
* ps/ps-document.c: (push_pixbuf), (ps_document_widget_event):
* shell/ev-view.c: (highlight_find_results):
Adapt to the new poppler rotation API. Fix text maps on landscape
documents.
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/ev-view.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index 7055554..1e95459 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -1686,8 +1686,7 @@ highlight_find_results (EvView *view, int page) alpha = 0x20; } - ev_document_find_get_result (find, page, - i, &rectangle); + ev_document_find_get_result (find, page, i, &rectangle); doc_rect_to_view_rect (view, page, &rectangle, &view_rectangle); draw_rubberband (GTK_WIDGET (view), GTK_WIDGET(view)->window, &view_rectangle, alpha); |