diff options
author | cretin45 <cretin45@gmail.com> | 2016-01-04 12:48:59 -0800 |
---|---|---|
committer | Gerrit Code Review <gerrit@cyanogenmod.org> | 2016-01-04 14:46:45 -0800 |
commit | 2be1306db542d11c4516fb29f2adce08f4c32e7d (patch) | |
tree | 3facb695b962b4f98ed4fa01362bf969b71ba174 /src/com/android/launcher3 | |
parent | 514f98d4bcff049450fe950182bcf057a8ddd62d (diff) | |
download | android_packages_apps_Trebuchet-2be1306db542d11c4516fb29f2adce08f4c32e7d.tar.gz android_packages_apps_Trebuchet-2be1306db542d11c4516fb29f2adce08f4c32e7d.tar.bz2 android_packages_apps_Trebuchet-2be1306db542d11c4516fb29f2adce08f4c32e7d.zip |
Trebuchet: Fix page indicator bottom padding on setting change
Issue-id: CYNGNOS-1423
Change-Id: I1e5f21a215d9a8ba1679a1c700dd326ffc1441ac
Diffstat (limited to 'src/com/android/launcher3')
-rw-r--r-- | src/com/android/launcher3/DeviceProfile.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/com/android/launcher3/DeviceProfile.java b/src/com/android/launcher3/DeviceProfile.java index 6115df62f..9a184333e 100644 --- a/src/com/android/launcher3/DeviceProfile.java +++ b/src/com/android/launcher3/DeviceProfile.java @@ -491,7 +491,7 @@ public class DeviceProfile { lp.gravity = Gravity.CENTER_HORIZONTAL | Gravity.BOTTOM; lp.width = LayoutParams.WRAP_CONTENT; lp.height = LayoutParams.WRAP_CONTENT; - lp.bottomMargin = hotseatBarHeightPx; + lp.bottomMargin = Math.max(hotseatBarHeightPx , lp.bottomMargin); pageIndicator.setLayoutParams(lp); } } |