diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2014-07-31 10:56:57 -0700 |
|---|---|---|
| committer | Martin Robinson <mrobinson@igalia.com> | 2014-07-31 17:00:17 -0700 |
| commit | 9f7a22551ccd30650491a261737f706c747b3faf (patch) | |
| tree | dd4e180989c12dbfa69cf0fcfe3f2ff2d7c924f5 /src/components/script/script.rs | |
| parent | 16ea60ccd62cf8e4a8811dcf8faa17350833f3f1 (diff) | |
| download | servo-9f7a22551ccd30650491a261737f706c747b3faf.tar.gz servo-9f7a22551ccd30650491a261737f706c747b3faf.zip | |
Make scrolling tick by device pixels
Instead of converting a device offset into a page offset and then
converting back when positioning layers, keep scroll offsets in device
pixels. We still do conversions when calculating the scroll offset for
pinch zoom, but we can remove those when pinch zoom and contents zoom
are fully separated.
Diffstat (limited to 'src/components/script/script.rs')
0 files changed, 0 insertions, 0 deletions