diff options
author | Stephane LOEUILLET <stephane.loeuillet@tiscali.fr> | 2005-01-23 20:49:04 (GMT) |
---|---|---|
committer | Martin Kretzschmar <martink@src.gnome.org> | 2005-01-23 20:49:04 (GMT) |
commit | cb01b3eec8e8524674335371c87b0d25f0c9c707 (patch) | |
tree | 7316fb31bf557fcd7828b60fd88b5548a1824ca1 /shell | |
parent | e88fdc41fa5cec99684fdef7d7063c67a8eb917f (diff) |
ignore page offset here, to make search results independent of it,
2005-01-23 Stephane LOEUILLET <stephane.loeuillet@tiscali.fr>
* pdf/xpdf/pdf-document.cc (pdf_document_search_page_changed):
ignore page offset here, to make search results independent of it,
* shell/ev-view.c (expose_bin_window): but take offsets into
account here. Bug #164932
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-view.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index 6997c5d..0a76223 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -414,9 +414,16 @@ expose_bin_window (GtkWidget *widget, results[i].highlight_area.width, results[i].highlight_area.height); #endif - if (results[i].page_num == current_page) + if (results[i].page_num == current_page) { + GdkRectangle highlight_area_fixed; + highlight_area_fixed.x = results[i].highlight_area.x + x_offset + 1; + highlight_area_fixed.y = results[i].highlight_area.y + y_offset + 1; + highlight_area_fixed.width = results[i].highlight_area.width; + highlight_area_fixed.height = results[i].highlight_area.height; + draw_rubberband (widget, view->bin_window, - &results[i].highlight_area); + &highlight_area_fixed); + } ++i; } |