From 0cb12a83c1ab0d2a273eb1e8d0b7bf47f01e3442 Mon Sep 17 00:00:00 2001
From: Paul Gardiner <paul@glidos.net>
Date: Tue, 20 Mar 2012 17:52:51 +0000
Subject: Android app: fix missing highlights

---
 android/src/com/artifex/mupdf/PageView.java | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'android')

diff --git a/android/src/com/artifex/mupdf/PageView.java b/android/src/com/artifex/mupdf/PageView.java
index 15025463..b0507182 100644
--- a/android/src/com/artifex/mupdf/PageView.java
+++ b/android/src/com/artifex/mupdf/PageView.java
@@ -216,10 +216,14 @@ public abstract class PageView extends ViewGroup {
 
 	public void setSearchBoxes(RectF searchBoxes[]) {
 		mSearchBoxes = searchBoxes;
+		if (mSearchView != null)
+			mSearchView.invalidate();
 	}
 
 	public void setLinkHighlighting(boolean f) {
 		mHighlightLinks = f;
+		if (mSearchView != null)
+			mSearchView.invalidate();
 	}
 
 	@Override
-- 
cgit v1.2.3