mirror of
https://github.com/LawnchairLauncher/lawnchair.git
synced 2026-03-01 00:06:47 +00:00
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