From 751e41eb666e3ad19f1d0ca8eeebe3b2265795fc Mon Sep 17 00:00:00 2001 From: Sunny Goyal Date: Mon, 24 Apr 2017 03:06:54 -0700 Subject: [PATCH] Separating top and bottom paddings for the hotseat Bug: 37616877 Change-Id: I2f187576c28d62f9bb8257c9b9295edb7a8e44c0 --- res/values/dimens.xml | 9 ++++++--- src/com/android/launcher3/DeviceProfile.java | 9 ++++++--- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/res/values/dimens.xml b/res/values/dimens.xml index dd8c313d6d..3221ea1cc2 100644 --- a/res/values/dimens.xml +++ b/res/values/dimens.xml @@ -26,14 +26,17 @@ 120dp 80dp 25dp - 88dp - 8dp - 24dp 12dp 8dp 8dp + + 8dp + 0dp + 80dp + 24dp + 48dp 20dp diff --git a/src/com/android/launcher3/DeviceProfile.java b/src/com/android/launcher3/DeviceProfile.java index 43f7d2317a..a5012b5afa 100644 --- a/src/com/android/launcher3/DeviceProfile.java +++ b/src/com/android/launcher3/DeviceProfile.java @@ -191,11 +191,14 @@ public class DeviceProfile { dropTargetBarSizePx = res.getDimensionPixelSize(R.dimen.dynamic_grid_drop_target_size); workspaceSpringLoadedBottomSpace = res.getDimensionPixelSize(R.dimen.dynamic_grid_min_spring_loaded_space); - hotseatBarHeightPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_height); + hotseatBarTopPaddingPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_top_padding); - hotseatBarBottomPaddingPx = 0; - hotseatLandGutterPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_gutter_width); + hotseatBarBottomPaddingPx = + res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_bottom_padding); + hotseatBarHeightPx = hotseatBarTopPaddingPx + hotseatBarBottomPaddingPx + + res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_height); + hotseatLandGutterPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_land_gutter_width); mBadgeRenderer = new BadgeRenderer(context);