| commit | 1059c30f3a049ee2fcbd6f3c2bda2a01bfa66e68 | [log] [tgz] |
|---|---|---|
| author | Stevie Kideckel <kideckel@google.com> | Thu Jun 10 15:29:46 2021 +0000 |
| committer | Stevie Kideckel <kideckel@google.com> | Thu Jun 10 15:29:46 2021 +0000 |
| tree | f8c05eea7d45978dc7ee0c273f0004a666d8a469 | |
| parent | 8f3d9eba02fc5942d96bc835e1e96b5ad01bf7e4 [diff] |
Account for header margin depending on which header is selected This removes jitter from incorrectly counting or not the margins for the headers near the top of the widget picker list. Bug: 189956230 Test: verified locally Change-Id: I3eeddbf8a1fb7cca31fe2a12c28b0eb444de631b