tree f8c05eea7d45978dc7ee0c273f0004a666d8a469
parent 8f3d9eba02fc5942d96bc835e1e96b5ad01bf7e4
author Stevie Kideckel <kideckel@google.com> 1623338986 +0000
committer Stevie Kideckel <kideckel@google.com> 1623338986 +0000

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