diff options
| author | Robin Watts <robin.watts@artifex.com> | 2015-03-31 17:10:37 +0100 |
|---|---|---|
| committer | Robin Watts <robin.watts@artifex.com> | 2015-03-31 18:34:22 +0100 |
| commit | 0a039da57c4ad338ed6e6f818b480d2124223a6d (patch) | |
| tree | 8e42ceda2141381dbb84855da8ca7c8868c769dd /platform/android/src | |
| parent | c4e17decdd2e278a44e281a8d3342b94dd833891 (diff) | |
| download | mupdf-0a039da57c4ad338ed6e6f818b480d2124223a6d.tar.xz | |
Bug 695457: Improve mouse wheel handling in viewer.
On windows, handle mouse wheel events as mouse events rather than
keyboard ones. This means that Ctrl-wheel zooms as expected (consistent
with Chrome etc). Also ensure that Shift-wheel changes from vertical
to horizontal.
Mouse wheel over pages that are larger than fit in the window
now scroll around the page. Once they hit the edge of the window,
the page flips to the next/previous page as you would expect.
Diffstat (limited to 'platform/android/src')
0 files changed, 0 insertions, 0 deletions