diff options
| author | Shimeng (Simon) Wang <swang@google.com> | 2011-02-10 13:32:53 -0800 |
|---|---|---|
| committer | Shimeng (Simon) Wang <swang@google.com> | 2011-02-10 14:50:05 -0800 |
| commit | c566185c707addffcfb8598c8b4cd8898839e7ed (patch) | |
| tree | 9d02822875dec615000d55d4ad1049571cca3fd9 /graphics/java/android/renderscript/ProgramFragmentFixedFunction.java | |
| parent | a81c2193f7f99566f6183bd7598e919381f5b1f0 (diff) | |
Don't send scroll events in case of new picture from webkit.
When user goes back to a page, the new picture may potentially cause
a scroll event which overrides the history scroll position, since
the scroll position may be bigger than the initial new picture.
Setting the scroll event to be not-user-scrolled will preserve the
history scroll position.
issue: 3433562
Change-Id: Ida176a4bc3a22de0385aed71e11f8b8e0db06f24
Diffstat (limited to 'graphics/java/android/renderscript/ProgramFragmentFixedFunction.java')
0 files changed, 0 insertions, 0 deletions