diff options
| author | Fabian Kozynski <kozynski@google.com> | 2021-05-14 10:35:44 -0400 |
|---|---|---|
| committer | Fabian Kozynski <kozynski@google.com> | 2021-06-01 11:51:59 -0400 |
| commit | 17abc7482f5da8f104fb57c2e5d592636d3770c3 (patch) | |
| tree | 03670c7e2cebb20ea861a19bd0f69a47fe50d4ba /rs/java/android/renderscript/ProgramVertexFixedFunction.java | |
| parent | 1dfd948440af4fa2e859b698cb0fa1770c89d4ee (diff) | |
Use padding in pages instead of pageMargin
ViewPager pageMargin does some rounding when calculating the offset of
each page, leading to positions that are not integers at the snapping
points. This is usually not an issue, except that we use those positions
to drive the PageIndicator.
Instead, set padding on the pages and negative margin in
PagedTileLayout. As everything has clip false, this produces the exact
same effect.
Test: manual
Fixes: 187954110
Change-Id: Ie1055a34c26214b012e96e3ec032ce4db576694d
Diffstat (limited to 'rs/java/android/renderscript/ProgramVertexFixedFunction.java')
0 files changed, 0 insertions, 0 deletions