diff options
| author | Robin Watts <robin.watts@artifex.com> | 2013-01-24 17:32:56 +0000 |
|---|---|---|
| committer | Robin Watts <robin.watts@artifex.com> | 2013-01-25 18:18:42 +0000 |
| commit | e6f5e24b5d145cb571f82b2e01178be4c3eff662 (patch) | |
| tree | 90d20c8343ad0b8bf9d0a5d4da04c205c0caa73a /draw | |
| parent | 211435a9daaf0ee29bbd6356913e95584b1b4371 (diff) | |
| download | mupdf-e6f5e24b5d145cb571f82b2e01178be4c3eff662.tar.xz | |
Android: Refine Smart Motion to avoid tiny scrolls at end of pages
Tor observes that when advancing down a page, it's annoying to have a
tiny scroll at the end to expose the last pixel. To avoid this, he
suggests making the amount we scroll dynamic; rather than always
moving by 90% of the screen height, we allow ourselves to move between
80% and 95% of the screen height if it means that we'll exactly meet
the end of the page.
This seems to work well.
Diffstat (limited to 'draw')
0 files changed, 0 insertions, 0 deletions