diff options
| author | Paul Gardiner <paulg.artifex@glidos.net> | 2013-01-21 10:53:05 +0000 |
|---|---|---|
| committer | Paul Gardiner <paulg.artifex@glidos.net> | 2013-01-21 10:53:05 +0000 |
| commit | 5ac80f85bfd14929cc1f251d8b3a5655ad711d85 (patch) | |
| tree | 6b956bf4c078654d002ddb50ed2f0702567158a5 /android/src/com | |
| parent | 7231417c1e4cf1c8a5601a54a24e6366bee3a8c9 (diff) | |
| download | mupdf-5ac80f85bfd14929cc1f251d8b3a5655ad711d85.tar.xz | |
Android: fix intermittent loss of HQ render after search
Diffstat (limited to 'android/src/com')
| -rw-r--r-- | android/src/com/artifex/mupdf/PageView.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/android/src/com/artifex/mupdf/PageView.java b/android/src/com/artifex/mupdf/PageView.java index 4a28471c..53f35fcf 100644 --- a/android/src/com/artifex/mupdf/PageView.java +++ b/android/src/com/artifex/mupdf/PageView.java @@ -180,6 +180,9 @@ public abstract class PageView extends ViewGroup { mPatch.setImageBitmap(null); } + mPatchViewSize = null; + mPatchArea = null; + mSearchBoxes = null; mLinks = null; mSelectBox = null; |