diff options
| -rw-r--r-- | android/src/com/artifex/mupdfdemo/PageView.java | 3 | ||||
| -rw-r--r-- | android/src/com/artifex/mupdfdemo/ReaderView.java | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/android/src/com/artifex/mupdfdemo/PageView.java b/android/src/com/artifex/mupdfdemo/PageView.java index b6b533bd..17673493 100644 --- a/android/src/com/artifex/mupdfdemo/PageView.java +++ b/android/src/com/artifex/mupdfdemo/PageView.java @@ -224,6 +224,9 @@ public abstract class PageView extends ViewGroup { } mIsBlank = false; + // Highlights may be missing because mIsBlank was true on last draw + if (mSearchView != null) + mSearchView.invalidate(); mPageNumber = page; if (mEntire == null) { diff --git a/android/src/com/artifex/mupdfdemo/ReaderView.java b/android/src/com/artifex/mupdfdemo/ReaderView.java index 9e738cac..d1e7c086 100644 --- a/android/src/com/artifex/mupdfdemo/ReaderView.java +++ b/android/src/com/artifex/mupdfdemo/ReaderView.java @@ -677,9 +677,9 @@ public class ReaderView extends AdapterView<Adapter> if (v == null) { v = mAdapter.getView(i, getCached(), this); addAndMeasureChild(i, v); + onChildSetup(i, v); + onScaleChild(v, mScale); } - onChildSetup(i, v); - onScaleChild(v, mScale); return v; } |