diff options
| author | Paul Gardiner <paul@glidos.net> | 2012-03-20 17:52:51 +0000 |
|---|---|---|
| committer | Paul Gardiner <paul@glidos.net> | 2012-03-20 17:52:51 +0000 |
| commit | 0cb12a83c1ab0d2a273eb1e8d0b7bf47f01e3442 (patch) | |
| tree | f962eb24de68e24cedb3166f6a7528abdce596d5 /android | |
| parent | f27da2574c1b9389f02efff8223ee0e6a4ae4d55 (diff) | |
| download | mupdf-0cb12a83c1ab0d2a273eb1e8d0b7bf47f01e3442.tar.xz | |
Android app: fix missing highlights
Diffstat (limited to 'android')
| -rw-r--r-- | android/src/com/artifex/mupdf/PageView.java | 4 |
1 files changed, 4 insertions, 0 deletions
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 |