mirror of
https://github.com/LawnchairLauncher/lawnchair.git
synced 2026-03-04 18:06:48 +00:00
- Based on workspace page instead of workspace (takes padding into account) - Checks that width != 0 so we don't divide by 0 Bug: 79526164 Change-Id: I25d92a04550aa34abab7e9e1f93c93dbccd61752