commit | 50b1034d35e6582d7587d429b90886530c70ae8f | [log] [tgz] |
---|---|---|
author | Shimeng (Simon) Wang <swang@google.com> | Thu Oct 21 17:14:39 2010 -0700 |
committer | Shimeng (Simon) Wang <swang@google.com> | Fri Oct 22 10:29:19 2010 -0700 |
tree | 413eed0c9e4fdd20f1ff37a500abef3640b79b4f | |
parent | f8ca2d71d50c7568e2edd16edeaa3412fa445bd2 [diff] |
Pass whether a scroll is user-scrolled or not to webkit. This is to eliminate false scrollEvent to webkit. And the side effect is that the history scroll position will be correctly restored; otherwise, webkit think there's user scrolled and not send back history scroll position. Particulary for NEW_PICTURE_MSG from webkit, the scroll event because of it are not user-scrolled. issue: 3063945 Change-Id: I9fdbfcb8baf07baf2331e2c4eed66f88aea744ef