From cb01b3eec8e8524674335371c87b0d25f0c9c707 Mon Sep 17 00:00:00 2001
From: Stephane LOEUILLET <stephane.loeuillet@tiscali.fr>
Date: Sun, 23 Jan 2005 20:49:04 +0000
Subject: 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
---
(limited to 'shell')

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;
         }
 
--
cgit v0.9.1